dorchard / constraintTermExtensions

Prototype implementation of type constraint-term extensions for GHC, accompanying the "Haskell Type Constraints Unleahsed" paper

This URL has Read+Write access

name age message
file ConstraintTermsPrototype.lhs Loading commit data...
file Makefile Tue Nov 03 11:14:15 -0800 2009 first commit [dorchard]
directory Rewrite/
file example1.hs Mon Nov 16 08:20:36 -0800 2009 Fixed example1 [dorchard]
file example2.hs