Mon, 25 Nov 2013 20:25:22 +0100 | prevent exception when equations for a function are missing; | file | diff | annotate |
Wed, 06 Nov 2013 13:00:45 +0100 | removed dead code | file | diff | annotate |
Wed, 06 Nov 2013 12:47:50 +0100 | take out possibility of moving corecursive calls past constructors -- this doesn't work in the general case | file | diff | annotate |
Tue, 05 Nov 2013 16:53:40 +0100 | avoid subtle failure in the presence of top sort | file | diff | annotate |
Tue, 05 Nov 2013 16:47:10 +0100 | tuning | file | diff | annotate |
Mon, 04 Nov 2013 16:53:43 +0100 | split 'primrec_new' and 'primcorec' code (to ease bootstrapping, e.g. dependency on datatype 'String' in 'primcorec') | file | diff | annotate | base |