Wed, 06 Mar 2013 07:08:51 +0000 | Christian Urban |
added an function definition for eval. | changeset | files |
Wed, 06 Mar 2013 00:59:18 +0000 | Christian Urban |
added a comment about deeply embedding of recursive functions | changeset | files |
Tue, 05 Mar 2013 15:23:10 +0000 | Christian Urban |
added a version with partial_function | changeset | files |