Updated the model of both implementations to reflect the monoidal structure of equations.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 22 May 2012 16:23:39 +0000 (17:23 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 22 May 2012 16:23:39 +0000 (17:23 +0100)
commit25c39576233182268f2ade344dc403d2bef9a6bb
tree1b927ccc4ac580f42899c898861f9632f6d2305a
parent33d1afe854503d79aeed74e1f03937bae8932166
Updated the model of both implementations to reflect the monoidal structure of equations.
34 files changed:
Contexts.agda [deleted file]
Convertibility.agda [deleted file]
Examples/BreakingPendulum.agda [deleted file]
Examples/Core.agda [deleted file]
Examples/Electrical.agda [deleted file]
Examples/Mechanics.agda [deleted file]
FHM.agda [deleted file]
FlatEquations.agda [deleted file]
Infer.agda [deleted file]
JFP/Equivalences.agda
JFP/Model.agda
JFP/Reification.agda
JFP/Values.agda
JFP/Weakening.agda
Labeling.agda [deleted file]
Normalisation.agda [deleted file]
Normals.agda [deleted file]
TLDI/Examples/Core.agda
TLDI/Examples/Electrical.agda
TLDI/Normalisation.agda
TLDI/Values.agda
Terms.agda [deleted file]
TypeTheory/Bool.agda [deleted file]
TypeTheory/Empty.agda [deleted file]
TypeTheory/Function.agda [deleted file]
TypeTheory/List.agda [deleted file]
TypeTheory/Nat.agda [deleted file]
TypeTheory/Product.agda [deleted file]
TypeTheory/PropEq.agda [deleted file]
TypeTheory/StateMonad.agda [deleted file]
TypeTheory/Unit.agda [deleted file]
Types.agda [deleted file]
Values.agda [deleted file]
Weakening.agda [deleted file]