A clear reading of the judgements is now given. Statement of what has been
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 13 Oct 2010 13:54:38 +0000 (14:54 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 13 Oct 2010 13:54:38 +0000 (14:54 +0100)
commitf2f93d37b39d73dbe1e778d3eeb6c2eb5b1292fd
tree2f74b628f412d87d3ca1c3537bacab6b02cb90c3
parenta8bcead599a99abf1ef4930f1a1784e383210ab7
A clear reading of the judgements is now given. Statement of what has been
implemented given. Soundness statement yet to come.
type-system.lhs