register
log in
hub.darcs.net
::
stevan
stevan's repositories
expression-problem
— Trying to solve the expression problem using containers
labelled-containers
— A universal algebra inspired toolkit for working with datatypes in type theory
system-e
— A system for effectful programming