| Tue, 20 Jun 2017 14:33:45 +0200 | blanchet | correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code | changeset | files |
| Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | do not print unimplemented functions | changeset | files |
| Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | dropped void values | changeset | files |
| Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | more uniform order of constructors | changeset | files |
| Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | more consistent terminology | changeset | files |
| Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | avoid name particle "the" where no selection is implied | changeset | files |
| Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | more uniform ordering and naming of sections; | changeset | files |