Slight changes to infer again.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 15 Jul 2010 10:19:31 +0000 (11:19 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 15 Jul 2010 10:19:31 +0000 (11:19 +0100)
commite5ebbd967e0af7f563b079519a9b008ee9844869
treea4888b75c719f7f5dce95b7e96684b1e6dc1c60d
parentefcd8cbcee0b757d68f4a364cdef12dff023d3a0
Slight changes to infer again.
Agda/Infer.agda