Added functional level products for convenience. Started the breaking pendulum example.
authorJoey Capper <jjc@cs.nott.ac.uk>
Mon, 12 Dec 2011 11:21:24 +0000 (11:21 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Mon, 12 Dec 2011 11:21:24 +0000 (11:21 +0000)
commit3f27dc1fd24ae97cbbee58d6569a151e21217996
tree436ce5de84a84606c9e899fbea05c8f029034ad6
parent8c136cfe137f9d47a8be60b597e647cdd0ef16e8
Added functional level products for convenience. Started the breaking pendulum example.
Contexts.agda
Examples/BreakingPendulum.agda [new file with mode: 0644]
Examples/Core.agda
FHM.agda
Normalisation.agda
Normals.agda
Terms.agda
TypeTheory/Empty.agda
Types.agda
Values.agda
Weakening.agda