• register
  • log in

hub.darcs.net :: stevan -> system-e -> files

A system for effectful programming

root

  • CBVtoCBPV.lagda
  • Context.lagda
  • EilenbergMooreAlgebra.lagda
  • EilenbergMooreCoalgebra.lagda
  • Examples.lagda
  • Poly.lagda
  • Run.lagda
  • RunCompat.lagda
  • SystemE.lagda
  • Terms.lagda
  • Types.lagda
  • TypesSemantics.lagda
  • WellTyped.lagda
  • WellTypedSemantics.lagda
  • files
  • changes
  • fork
  • download .zip
  • darcs get url
  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon