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/ -------
_______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
