I -> z* in T-SIGREL.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 12:23:20 +0000 (13:23 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 12:23:20 +0000 (13:23 +0100)
commit83edeff9c7f9d9394f6cf392d97b96fd82ae6c4f
tree8daaf681e0a21076501ed447ca2d03fb1091ba94
parent62d7157592fbdf3b4f5db04e700693f8f1071a14
I -> z* in T-SIGREL.
type-system.lhs