Updates to reflect paper. Now use "Event" blocks consisting of initially and when...
authorJoey Capper <jjc@cs.nott.ac.uk>
Fri, 17 Jun 2011 01:53:16 +0000 (18:53 -0700)
committerJoey Capper <jjc@cs.nott.ac.uk>
Fri, 17 Jun 2011 01:53:16 +0000 (18:53 -0700)
commit2a47121a8bc42356e6f6cf717892ff7be743e456
tree5496e782b05ae6a0c65e0ca1ec721b1c342af2d5
parenta817702441c6eba53283319cd4907a5e72c7adae
Updates to reflect paper. Now use "Event" blocks consisting of initially and when clauses.

Extraction tweaked but unfinished.
12 files changed:
Examples.agda
Extraction.agda [deleted file]
FHM.agda
FlatEquations.agda
Labeling.agda
Normalisation.agda
Normals.agda
Simplify.agda [deleted file]
Terms.agda
TypeTheory/Product.agda
Values.agda
Weakening.agda