summaryrefslogtreecommitdiff
path: root/events/src/Events/Types
Commit message (Expand)AuthorAge
* cleanupGregor Kleen2016-08-05
* lintingGregor Kleen2016-08-05
* formulate interpret as a SinkGregor Kleen2016-08-05
* cleanupGregor Kleen2016-07-30
* code cleanupGregor Kleen2016-07-30
* Switch from monoid to foldable containerGregor Kleen2016-07-28
* NDT – nondeterminism with monotonous pruningGregor Kleen2016-06-01