General corrections to spelling and grammar. Reference added for
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 13 Oct 2010 15:09:57 +0000 (16:09 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 13 Oct 2010 15:09:57 +0000 (16:09 +0100)
commit4136c347e94a4d44ebba8aa65fe9df83d3c5ea15
tree8c6e2dcd19f0fa2176087be290d86660ae6673e0
parent00c5e51b3b332b90c9e236085ee61d6eddc28caa
General corrections to spelling and grammar. Reference added for
equation system theory.
introduction.tex
tfp-paper.bib
type-system.lhs