Fixed the broken repo (excess files).
authorJoey Capper <>
Wed, 14 Jul 2010 14:16:09 +0000 (15:16 +0100)
committerJoey Capper <>
Wed, 14 Jul 2010 14:16:09 +0000 (15:16 +0100)
Fixed the broken repo (excess files).
20 files changed:
Agda/Assump.agda [deleted file]
Agda/Either.agda [deleted file]
Agda/Infer.agda [deleted file]
Agda/ListUtil.agda [deleted file]
Agda/Monad.agda [deleted file]
Agda/README.agda [deleted file]
Agda/Scheme.agda [deleted file]
Agda/Subst.agda [deleted file]
Agda/Terms.agda [deleted file]
Agda/Types.agda [deleted file]
Assump.agda [deleted file]
Either.agda [deleted file]
Infer.agda [deleted file]
ListUtil.agda [deleted file]
Monad.agda [deleted file]
README.agda [deleted file]
Scheme.agda [deleted file]
Subst.agda [deleted file]
Terms.agda [deleted file]
Types.agda [deleted file]