Stopped normalisation of addition.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 8 Jun 2011 12:08:07 +0000 (13:08 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 8 Jun 2011 12:08:07 +0000 (13:08 +0100)
commitd0c98f580bc2e139c6a71951d38b3668537800ef
treee0d86edd0837a2f5318eb75170a65eea907f5fc5
parentd5dede5d5394fad04d7fbb0038c098126c3b560c
Stopped normalisation of addition.
Separated examples into separate file.
Modified extraction routine.
Contexts.agda
Convertibility.agda
Examples.agda [new file with mode: 0644]
Extraction.agda
FHM.agda
FlatEquations.agda
Normalisation.agda
Normals.agda
TypeTheory/PropEq.agda
Values.agda