Began adapting type checker to work on FHM (as opposed to STLC).
authorJoey <jjc@JJC-VirtualBox.(none)>
Wed, 25 May 2011 02:05:42 +0000 (03:05 +0100)
committerJoey <jjc@JJC-VirtualBox.(none)>
Wed, 25 May 2011 02:05:42 +0000 (03:05 +0100)
commitf8e4979912c8a76aa7a60e90adb5dbf7812931ae
treeb63b295807b31399c8d24ffd7bbe8eda3aaecb8e
parent23ee474b8818fba966814a49b64ca3c324edf11c
Began adapting type checker to work on FHM (as opposed to STLC).
Infer.agda