Precondition for T-LET ammended. Corrected the indexing of constraint sets.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 12:34:30 +0000 (13:34 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 12:34:30 +0000 (13:34 +0100)
commitab75b1e48c75234b45d86c911e180e18e0cfac78
treeb5a4bc757cde0037fdb0519cdaeab6667bbe6e86
parentf32cc99f6885903e12ba239bdcc8f85c563aa415
Precondition for T-LET ammended. Corrected the indexing of constraint sets.
type-system.lhs