Archives

Here you can find all my previous posts:

SoP3: Guarded Commands - April 16, 2016
SoP2: Interpreted Function Symbols - April 2, 2016
SoP1: Assignment - March 31, 2016
The Science of Programming : Why be correct? - March 28, 2016
Graphs are to categories as lists are to monoids - March 27, 2016
Why dependent types - January 16, 2016
Blogging Literately: markdown from literate agda - January 12, 2016
The making of a blog using Hakyll, Disqus, and Bitbucket - January 12, 2015