Normal forms should now only permit eta-long terms by definition.
authorJoey <jjc@joey-laptop.(none)>
Wed, 31 Aug 2011 15:31:20 +0000 (16:31 +0100)
committerJoey <jjc@joey-laptop.(none)>
Wed, 31 Aug 2011 15:31:20 +0000 (16:31 +0100)
commit3875bc237f15364b93495678732753e46c938e0f
tree67068c7ea167a717b13c114fd6e980af16a7f602
parent5aba6412e428d75d0785f4e4ebfeafd25ef70503
Normal forms should now only permit eta-long terms by definition.
Examples.agda
FHM.agda
Normalisation.agda
Normals.agda
Types.agda
Weakening.agda