| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | cleanup | Gregor Kleen | 2016-07-28 |
| * | Switch from monoid to foldable container | Gregor Kleen | 2016-07-28 |
| * | NDT – nondeterminism with monotonous pruning | Gregor Kleen | 2016-06-01 |
| * | efficiency | Gregor Kleen | 2016-05-27 |
| * | Dynamically compute commands | Gregor Kleen | 2016-05-27 |
| * | Seperated non-value rec. into own layer of state | Gregor Kleen | 2016-04-17 |
| * | Specifications to be evaluated | Gregor Kleen | 2016-04-16 |
| * | Now tracking event under construction in state | Gregor Kleen | 2016-04-16 |
| * | More sensible nomenclature | Gregor Kleen | 2016-04-16 |
| * | Made context mutable during interpretation | Gregor Kleen | 2016-04-16 |
| * | cleanup | Gregor Kleen | 2016-04-16 |
| * | Introduced some types | Gregor Kleen | 2016-04-16 |
