Added paragraphs and examples of intuitition behind C => T types. master
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 18:31:05 +0000 (18:31 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 18:31:05 +0000 (18:31 +0000)
commit5fdd991ce50deb9b43027809760fe0c91c08298e
tree9b750e0f4a2b0681e27e883bd0cea207496df050
parent40bbc52a17bbb68bf045b7e29237a3b55faa6fc2
Added paragraphs and examples of intuitition behind C => T types.
refined.lhs