Initial commit.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 28 Apr 2011 16:12:50 +0000 (17:12 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 28 Apr 2011 16:12:50 +0000 (17:12 +0100)
commitf7623b72ae0e65024e53479c7a621ddd527195ba
treecea102b8f6ecce5aa59b2e4c4adec76b4aeb25de
Initial commit.
22 files changed:
.gitignore [new file with mode: 0644]
Contexts.agda [new file with mode: 0644]
Conversion.agda [new file with mode: 0644]
Extraction.agda [new file with mode: 0644]
FHM.agda [new file with mode: 0644]
FlatEquations.agda [new file with mode: 0644]
Labeling.agda [new file with mode: 0644]
Normalisation.agda [new file with mode: 0644]
Normals.agda [new file with mode: 0644]
Simplify.agda [new file with mode: 0644]
Terms.agda [new file with mode: 0644]
TypeTheory/Bool.agda [new file with mode: 0644]
TypeTheory/Empty.agda [new file with mode: 0644]
TypeTheory/List.agda [new file with mode: 0644]
TypeTheory/Nat.agda [new file with mode: 0644]
TypeTheory/Product.agda [new file with mode: 0644]
TypeTheory/PropEq.agda [new file with mode: 0644]
TypeTheory/StateMonad.agda [new file with mode: 0644]
TypeTheory/Unit.agda [new file with mode: 0644]
Types.agda [new file with mode: 0644]
Values.agda [new file with mode: 0644]
Weakening.agda [new file with mode: 0644]