Morphisms are isomorphic to functions on variable indices. Other minor cleanup.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 15 Nov 2011 18:03:34 +0000 (18:03 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 15 Nov 2011 18:03:34 +0000 (18:03 +0000)
commita5c0f25e3137431c73538e01b898a9ab527f81bf
treeab513134456996450a55a082406b66d962046aae
parentc5cfdbcbfd75d0206154be82669806a1bf568c3e
Morphisms are isomorphic to functions on variable indices. Other minor cleanup.
Contexts.agda
Conversion.agda
Examples.agda [deleted file]
FHM.agda
Normalisation.agda
Terms.agda
TypeTheory/PropEq.agda
Types.agda
Values.agda