A collection of mostly unrelated Agda programs which I found interesting in some way.
My collection of rather simple, but useful theorems about basic Agda data types
A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski
A simple demonstration of the Agda Reflection API
Some simple tools for agda-mode to make programming in Agda even more enjoyable.
Emacs Lisp 2