descriptione27c6b7a183531a7cd4a9043225cb27562
last changeFri, 26 Jul 2013 02:37:36 +0000 (03:37 +0100)
shortlog
2013-07-26 Joey CapperAdded work on "shapes" semantics for dynamism. master
2012-05-23 Joey CapperRemoved the unnecessary signal context morphism from...
2012-05-22 Joey CapperUpdated the model of both implementations to reflect...
2012-05-22 Joey CapperSplit development into two versions: with and without...
2011-12-24 Joey CapperVarToVal is just reflect!
2011-12-12 Joey CapperForgot TypeTheory.Function.
2011-12-12 Joey CapperReformatting (symbols now closer to those used in the...
2011-12-12 Joey CapperAdded functional level products for convenience. Starte...
2011-11-15 Joey CapperAdded new example files.
2011-11-15 Joey CapperMorphisms are isomorphic to functions on variable indic...
2011-09-07 Joey Capper'When' branches are now partial, by way of substitution...
2011-08-31 JoeyNormal forms should now only permit eta-long terms...
2011-07-12 Joey CapperMinor changes
2011-06-17 Joey CapperCleanup of FHM.agda.
2011-06-17 Joey CapperFlattening, equation extraction, and event processing...
2011-06-17 Joey CapperFixed import bug.
...
heads
2 years ago master