Starting proof of type inference decidability.
authorJoey <jjc@JJC-VirtualBox.(none)>
Tue, 24 May 2011 02:18:17 +0000 (03:18 +0100)
committerJoey <jjc@JJC-VirtualBox.(none)>
Tue, 24 May 2011 02:18:17 +0000 (03:18 +0100)
commit4fa2713fe8c2e2d3b60249f432b2d337d899eb0f
treed979719c93d0302872977ee89c8e69d35b206953
parentf7623b72ae0e65024e53479c7a621ddd527195ba
Starting proof of type inference decidability.
Infer.agda [new file with mode: 0644]