Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | tuning (in particular, Symtab instead of AList) | changeset | files |
Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | tweak slices, based on eval by Daniel Wand | changeset | files |
Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | be less forceful about ":lt" to make infinite loops less likely (could still fail with mutually recursive tail rec functions) | changeset | files |
Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | print a hint | changeset | files |
Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | avoid DL | changeset | files |
Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | TFF: declare free types as types | changeset | files |
Tue, 27 Mar 2012 15:34:04 +0200 | bulwahn | merged | changeset | files |