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 |
Sun, 03 Mar 2013 14:08:33 +0000 | Christian Urban |
partial_function test | changeset | files |