Finished type checking for STLC.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 24 May 2011 16:43:50 +0000 (17:43 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 24 May 2011 16:43:50 +0000 (17:43 +0100)
commit23ee474b8818fba966814a49b64ca3c324edf11c
tree5d992aec1fb75f9b2e27f6116d6c3505c2541e9c
parent4fa2713fe8c2e2d3b60249f432b2d337d899eb0f
Finished type checking for STLC.
Infer.agda