Thu, 07 Mar 2013 11:52:08 +0000 | Christian Urban |
added definition of termination for rec_exec | changeset | files |
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 |