Added README.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 1 Jul 2010 12:24:04 +0000 (13:24 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 1 Jul 2010 12:24:04 +0000 (13:24 +0100)
commit371f5a44bfb24c2d407a2e50516eca34cc6f76e8
tree87e0aa8c79cb1d4cf7a0276494fecff872ebb71a
parent138108c611e919d75e04cb69d02e37d48df9907e
Added README.
README.agda [new file with mode: 0644]