Mon, 17 Jul 2017 17:30:34 +0200 | Andreas Lochbihler | new derived targets for evaluating Haskell and Scala programs | changeset | files |
Mon, 17 Jul 2017 16:49:19 +0200 | eberlm | Printing natural numbers as numerals in evaluation | changeset | files |
Sun, 16 Jul 2017 23:47:21 +0200 | Lars Hupel | fmap is finite | changeset | files |