Thu, 19 Sep 2013 11:27:30 +0200 | blanchet | give lambda abstractions a chance, as an alternative to function composition, for corecursion via "fun" | changeset | files |
Thu, 19 Sep 2013 03:29:33 +0200 | blanchet | added auxiliary function | changeset | files |
Thu, 19 Sep 2013 03:13:13 +0200 | blanchet | avoid parameter | changeset | files |