Added anti-quoting of terms in signal expressions.
authorJoey Capper <jjc@cs.nott.ac.uk>
Fri, 10 Jun 2011 14:42:10 +0000 (15:42 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Fri, 10 Jun 2011 14:42:10 +0000 (15:42 +0100)
commita817702441c6eba53283319cd4907a5e72c7adae
treefaec701b637d44407f22f2fb994a545f9d143875
parentfd6d306fc058f7183f4a873f20bbcf51466d05f4
Added anti-quoting of terms in signal expressions.
Conversion.agda
Examples.agda
Extraction.agda
FlatEquations.agda
Normalisation.agda
Normals.agda
Terms.agda
Types.agda
Values.agda
Weakening.agda