| Tue, 31 May 2016 12:24:43 +0200 | blanchet | added test | changeset | files |
| Tue, 31 May 2016 11:54:45 +0200 | blanchet | made parsing of monomorphic/polymorphic constants more robust | changeset | files |
| Tue, 31 May 2016 10:53:11 +0200 | blanchet | more flexible parsing (towards type class support) | changeset | files |
| Tue, 31 May 2016 10:53:10 +0200 | blanchet | error message | changeset | files |
| Tue, 31 May 2016 11:45:34 +1000 | matichuk | allow multiple recursive methods to co-exist in order to support mutual recursion; | changeset | files |
| Mon, 30 May 2016 16:11:53 +1000 | matichuk | apply current morphism to method text before evaluating; | changeset | files |