hub.darcs.net :: stevan -> labelled-containers -> files

A universal algebra inspired toolkit for working with datatypes in type theory

root

  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon