Corrections to T-VAR typing judgement. Judgement now mentions C in lookup.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 12:10:17 +0000 (13:10 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 12:10:17 +0000 (13:10 +0100)
commitd9b1f2db0bd350a173ecf17f825a08bf2a82dd69
treef769825847654d35d3a01fde5bd5d81c4679e42a
parent8e8eb407497dccb8869f4bd35e9b28a483924bd7
Corrections to T-VAR typing judgement. Judgement now mentions C in lookup.
type-system.lhs