Reordering of typing judgements and semantics.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Oct 2010 16:37:39 +0000 (17:37 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Oct 2010 16:37:39 +0000 (17:37 +0100)
commitee634e032835a16b7f4d245bf10cbc5967f2a25c
tree0b6ef3641f6d4c545c6d4037d2a659dc33ba9a8f
parentafec81d3a353401a83c0edc3b724f0c28e0776e3
Reordering of typing judgements and semantics.
type-system.lhs