stereochrome

Type-Driven Development with Idris

For if I ever get a chance to learn Idris.

Via lobste.rs; Created at 20:22 UTC on August 4th, 2018