2013-03-07 | Christian Urban |
added definition of termination for rec_exec | file | diff | annotate |
2013-03-06 | Christian Urban |
added an function definition for eval. | file | diff | annotate |
2013-03-05 | Christian Urban |
added a version with partial_function | file | diff | annotate |
2013-03-03 | Christian Urban |
partial_function test | file | diff | annotate |