First commit for the constraint-based type system implementation. master
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Mar 2014 02:14:01 +0000 (02:14 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Mar 2014 02:14:01 +0000 (02:14 +0000)
commit822079bb0334cfbbdd5da9b967ef8b64bea065c3
tree017301a70660b4dc52ea3050dce1c582797454bb
parent4c02244a1235a119094a435cdc0f4e8c88f30ef8
First commit for the constraint-based type system implementation.
RationalExtras.agda [new file with mode: 0644]