Type-Driven Development with Idris 🕑 2018-08-04T20:22:58+00:00; via lobste.rs; try the Wayback Machine | edit For if I ever get a chance to learn Idris.