Download code and play
Download the code generated by the algebra generator. We suggets to use the Haskell interpreter Hugs or the Glasgow Haskell Compiler, ghc, to execute the programs.
You may run some simple tests with the generated program components:
  • Call (toy count x) for x of length 0,1,2, and check if the size of the search space grows as expected.
  • Call (toy enum x) for some very small x, to check if the members of the search space are as expected.
To run the extended alorithm you must make two further changes to the existing code - one to the existing algebras (Chapter 6) , one to the existing grammar (Chapter 7).
background image
university bielefeld AG PI BiBiServ
ambient picture