Alex's blog
Posts
Tags
About
Posts
2018.09.27
Writing and using proofs in Haskell
dependent types
haskell
2017.02.12
Formatting timesheet tables in org-mode
emacs