Reformatting (symbols now closer to those used in the paper).
authorJoey Capper <jjc@cs.nott.ac.uk>
Mon, 12 Dec 2011 13:25:05 +0000 (13:25 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Mon, 12 Dec 2011 13:25:05 +0000 (13:25 +0000)
commit0d7e10e510659a70535e338a4d6657e2ffa06016
tree8eab2dc5cb5660f2b48b5ff57736930e02a6e812
parent3f27dc1fd24ae97cbbee58d6569a151e21217996
Reformatting (symbols now closer to those used in the paper).
Contexts.agda
Conversion.agda [deleted file]
FHM.agda
FlatEquations.agda
Labeling.agda
Normalisation.agda
Normals.agda
Terms.agda
Types.agda
Values.agda
Weakening.agda