Posts

2018.09.27
Writing and using proofs in Haskell
dependent types haskell
2017.02.12
Formatting timesheet tables in org-mode
emacs