Preliminary changes to typing rules.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 15:33:22 +0000 (15:33 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 15:33:22 +0000 (15:33 +0000)
commitcb56beaf4df28cf88b36e8cc1a4b75b7a5a23fcc
treee5addb6546452efb0b675947b250ce9a1d63a0ea
parent84bfdef16125ca2c121c0953ce03944ab0755c91
Preliminary changes to typing rules.
fhm-preamble-extras.fmt
refined.lhs
report.lhs