"Writing is nothing more than a guided dream."

Home
Blog
Notes
Resume
BlogRoll

Dependent Types

References:

Backlinks:

Type-Driven Development with Idris

Built with Orgmode, Emacs and Nix, source code availiable here.