[Haskell] Are there libraries for finite words and computable functions?

Mon Apr 25 04:24:07 EDT 2005

> With "computable functions" I mean recursive functions,
> Turing machines, register machines or something like that.

my project "autotool" contains various models of computation.
the program in fact can automatically grade student exercises
that use these models.

http://www.imn.htwk-leipzig.de/~waldmann/autotool.html
http://141.57.11.163/auto/
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------