Removed extra top level agda files.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 14 Jul 2010 14:30:17 +0000 (15:30 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 14 Jul 2010 14:30:17 +0000 (15:30 +0100)
commit9a7568d264da57ccdad47a0ad8d7966229188630
tree5dfea1affde9b579dc993863d3687430f0160f27
parent447c52a0c3569c16987c3abd3d13cab5408d5f0d
Removed extra top level agda files.
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]