Minor changes and tweaks to section 2 and 3.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Oct 2010 10:04:25 +0000 (11:04 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Oct 2010 10:04:25 +0000 (11:04 +0100)
commitcb79fe925676e52e4e6ccb2249bb395cbecd959e
treec99a682fa762cc5661597de2b5366714abc5c410
parent391bfc5a8d1b280498b8ccb8b93fb4be78628f25
Minor changes and tweaks to section 2 and 3.
modular-equations.lhs
type-system.lhs