Tue, 18 Jul 2017 08:54:49 +0200 | Andreas Lochbihler | merged | changeset | files |
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 |
Sat, 15 Jul 2017 21:40:24 +0100 | eberlm | facts about cardinality of vector type | changeset | files |
Sat, 15 Jul 2017 16:27:10 +0100 | eberlm | Adapted Approximation_Bounds to changes in Multiset | changeset | files |