Tweaks to typing rules.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 17:01:50 +0000 (17:01 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 17:01:50 +0000 (17:01 +0000)
commit2c3f3e18285a96e1a43ba92599d6b6ef1d2a1b8d
tree1a1cd5c874b2ddd05eb79e30a9c02028fb9e5297
parent8338c3069d69b28646798c610599b5d0fca1fdfa
Tweaks to typing rules.
refined.lhs