Alterations to semantics.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Oct 2010 16:25:20 +0000 (17:25 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Oct 2010 16:25:20 +0000 (17:25 +0100)
commitafec81d3a353401a83c0edc3b724f0c28e0776e3
tree5fcf2f339446d91afbf3a70d1da27dfaa90195df
parentecc22eab3eb66636ff1a3d2c155ce02023837982
Alterations to semantics.
type-system.lhs