More work on Infer.agda. More error codes implemented.
authorJoey Capper <jjc@cs.nott.ac.uk>
Fri, 27 May 2011 18:25:55 +0000 (19:25 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Fri, 27 May 2011 18:25:55 +0000 (19:25 +0100)
commitd5dede5d5394fad04d7fbb0038c098126c3b560c
tree57e4c659efcc2763c0e00b7f89c31bf8cba99b94
parentc807c93cf35583a9f7293aab49a403ee210df875
More work on Infer.agda. More error codes implemented.
Infer.agda