m -> |z*| in T-SIGREL.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 12:27:00 +0000 (13:27 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 12:27:00 +0000 (13:27 +0100)
commitf32cc99f6885903e12ba239bdcc8f85c563aa415
tree44af020336bd6b1392df0a5c3f49acb482fdca73
parent83edeff9c7f9d9394f6cf392d97b96fd82ae6c4f
m -> |z*| in T-SIGREL.
type-system.lhs