Hacker News
- A Pretty-Printer That Says What It Means http://www.davidchristiansen.dk/2014/09/06/pretty-printing-idris/ 2 comments
- Implementing an Emacs programming language mode: beyond the basics http://www.davidchristiansen.dk/2014/07/16/implementing-an-emacs-programming-language-mode-beyond-the-basics/ 6 comments emacs
- A Pretty-Printer that Says What It Means (or, Why Idris's Pretty-Printer is a Functor) http://www.davidchristiansen.dk/2014/09/06/pretty-printing-idris/ 14 comments haskell