| Thu, 13 Apr 2017 10:10:12 +0200 | haftmann | for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness | changeset | files |
| Thu, 13 Apr 2017 10:10:09 +0200 | haftmann | early abort on depth limit | changeset | files |
| Thu, 13 Apr 2017 10:10:08 +0200 | haftmann | obsolete | changeset | files |