Spelling corrections.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 14 Oct 2010 11:20:26 +0000 (12:20 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 14 Oct 2010 11:20:26 +0000 (12:20 +0100)
commit5963a27cd51fa96e05c81144de35ef352ed61876
tree239b11625b2a85e69846e8a461b235c15fc1bf38
parent6449afd686acc8f4593b38ff19cbd54f8f7bc9b9
Spelling corrections.
introduction.tex
modular-equations.lhs
type-system.lhs