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