Tips

Grading Utilities

Posted on 2024-01-01

haskell tips teaching

Some BibLaTeX Tricks to remember

Posted on 2023-09-19

bibtex tips latex

Tips for using Effects in Idris

Posted on 2015-07-28

idris effects tips

An Effectful Logger: Part One

Posted on 0001-01-01

idris effects tips