teodorov/agda-stuff

An assortment of small Agda developments

Agda