Cleanup of section 3.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Oct 2010 17:02:15 +0000 (18:02 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Oct 2010 17:02:15 +0000 (18:02 +0100)
commita8bcead599a99abf1ef4930f1a1784e383210ab7
treeb5df0a5f6bf45f6056649fa1bbf78614ffa09859
parentee634e032835a16b7f4d245bf10cbc5967f2a25c
Cleanup of section 3.
type-system.lhs