VarToVal is just reflect!
authorJoey Capper <jjc@cs.nott.ac.uk>
Sat, 24 Dec 2011 22:29:40 +0000 (22:29 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Sat, 24 Dec 2011 22:29:40 +0000 (22:29 +0000)
commitc687440cf299b9d275c9299f563778693d59f955
treed90315d83f02fb906f3e2241f054b5d9e7995370
parentba62eedd45b3bf145b96abdb254e95306daf602b
VarToVal is just reflect!
Normalisation.agda