Fri, 14 Feb 2014 15:03:24 +0100 | blanchet | allow different functions to recurse on the same type, like in the old package | file | diff | annotate |
Fri, 14 Feb 2014 15:03:23 +0100 | blanchet | improved 'datatype_new_compat': generate more fixpoint equations for types like 'datatype_new x = C (x list) (x list)' (here, one equation for each x list instead of a single for both), for higher compatibility + code generation attributes on the recursor | file | diff | annotate |
Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | made 'ctr_sugar' more friendly to the 'datatype_realizer' | file | diff | annotate |
Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | adjusted comments | file | diff | annotate |
Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | avoid nested 'Tools' directories | file | diff | annotate | base |