Commits

Patrick Bahr committed 1849463

- removed Automata.hs from the examples
- added Automata/Compiler.hs to the examples instead
- incremented the version number to 0.5.1

  • Participants
  • Parent commits b97e536
  • Tags version_0.5.1

Comments (0)

Files changed (2)

File compdata.cabal

 Name:			compdata
-Version:		0.5
+Version:		0.5.1
 Synopsis:            	Compositional Data Types
 Description:
 
   examples/Examples/Eval.hs
   examples/Examples/EvalM.hs
   examples/Examples/Desugar.hs
-  examples/Examples/Automata.hs,
+  examples/Examples/Automata/Compiler.hs,
   examples/Examples/Multi/Common.hs
   examples/Examples/Multi/Eval.hs
   examples/Examples/Multi/EvalI.hs

File src/Data/Comp/Automata.hs

 -- This module defines stateful term homomorphisms. This (slightly
 -- oxymoronic) notion extends per se stateless term homomorphisms with
 -- a state that is maintained separately by a bottom-up or top-down
--- state transformation. Additionally, this module also allows to run
--- state transformations themselves. 
+-- state transformation. Additionally, this module also provides
+-- combinators to run state transformations themselves.
 -- 
 -- Like regular term homomorphisms also stateful homomorphisms (as
 -- well as transducers) can be lifted to annotated signatures