Reflective proof tactics and metaprogramming for Agda.
things too small to be separate projects
Forked from copumpkin/categories
Categories parametrized by morphism equality, in Agda
Forked from bjj/Openpit
Explore a land of blocks!
Forked from copumpkin/drepa
A dependently typed model of the repa (herpa?) library in Agda
stream your IO through a series of tubes