Flattening, equation extraction, and event processing implemented.
authorJoey Capper <jjc@cs.nott.ac.uk>
Fri, 17 Jun 2011 17:22:10 +0000 (10:22 -0700)
committerJoey Capper <jjc@cs.nott.ac.uk>
Fri, 17 Jun 2011 17:22:10 +0000 (10:22 -0700)
commit6888ad5972b7858fda3853c9dcb6ebe9e1dc5bae
tree4b22fb95c754556ad1f28d4474baef95dfd578e7
parent07778b226e3cb17df6a15d76e735be1c1cfbcfa0
Flattening, equation extraction, and event processing implemented.
FHM.agda
FlatEquations.agda
Labeling.agda