hub.darcs.net :: gylterud

gylterud's repositories

• agda-premises — An Agda library containing a simple foundation for works in intensional type theory
• container — A small library for containers build on agda-premises
• newmail — Shell scripts for generating random mail aliases (https://hakon.gylterud.net/newmail/)