Parameterised -> Parametrised. master
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 14 Oct 2010 16:51:12 +0000 (17:51 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 14 Oct 2010 16:51:12 +0000 (17:51 +0100)
commitc2403be119581796b154b7167ae4abeedae8bcf4
tree90fbab4ef23be7c8c71386e8f3fa9898f02c9875
parentcffa6cc9356c438d230e15cf561c86a7176df4c8
Parameterised -> Parametrised.
Diagrams/graph1.eps
Diagrams/graph2.eps
Diagrams/par-circuit.eps
introduction.tex
type-system.lhs