Forgot TypeTheory.Function.
authorJoey Capper <jjc@cs.nott.ac.uk>
Mon, 12 Dec 2011 13:28:39 +0000 (13:28 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Mon, 12 Dec 2011 13:28:39 +0000 (13:28 +0000)
commitba62eedd45b3bf145b96abdb254e95306daf602b
treeb0815d55d57e1c9844a08dc2f28aecf97f45b55e
parent0d7e10e510659a70535e338a4d6657e2ffa06016
Forgot TypeTheory.Function.
TypeTheory/Function.agda [new file with mode: 0644]