dcastro
Recent
Archive
Home
Archive
2018
Haskell's kind system - a primer
17 Oct
Typeclasses in perspective
17 Jun
2017
On emptiness, correctness and reasoning
09 Sep