Initial commit.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 1 Jul 2010 12:05:09 +0000 (13:05 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 1 Jul 2010 12:05:09 +0000 (13:05 +0100)
commit138108c611e919d75e04cb69d02e37d48df9907e
treeb491150d0c5f3d32417ad57f26e3a9ca99a3ee32
Initial commit.
Assump.agda [new file with mode: 0644]
Either.agda [new file with mode: 0755]
Infer.agda [new file with mode: 0644]
ListUtil.agda [new file with mode: 0644]
Monad.agda [new file with mode: 0644]
Scheme.agda [new file with mode: 0644]
Subst.agda [new file with mode: 0755]
Terms.agda [new file with mode: 0755]
Types.agda [new file with mode: 0755]