Further minor additions to infer.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 15 Jul 2010 09:51:39 +0000 (10:51 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 15 Jul 2010 09:51:39 +0000 (10:51 +0100)
commitefcd8cbcee0b757d68f4a364cdef12dff023d3a0
tree5cb908d392c5f6335e10fc8e060aad2c164bd142
parent63baf3040e2e44e0f094fedb6e1477aef725fe7e
Further minor additions to infer.
Agda/Infer.agda
Agda/Terms.agda