2013-03-07 | Christian Urban |
tuned conclusion | changeset | files |
2013-03-07 | Christian Urban |
small typo in the paper | changeset | files |
2013-03-07 | Christian Urban |
added definition of termination for rec_exec | changeset | files |
2013-03-06 | Christian Urban |
added an function definition for eval. | changeset | files |
2013-03-06 | Christian Urban |
added a comment about deeply embedding of recursive functions | changeset | files |
2013-03-05 | Christian Urban |
added a version with partial_function | changeset | files |
2013-03-03 | Christian Urban |
partial_function test | changeset | files |
Loading... |