summaryrefslogtreecommitdiff
path: root/events/src/Events/Types/NDT.hs
Commit message (Collapse)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