summaryrefslogtreecommitdiff
path: root/events/src/Events/Spec.hs
Commit message (Collapse)AuthorAge
* cleanupGregor Kleen2016-08-05
|
* cleanupGregor Kleen2016-08-05
|
* drop interpret – it was uselessGregor Kleen2016-08-05
|
* formulate interpret as a SinkGregor Kleen2016-08-05
|
* cleanupGregor Kleen2016-08-05
|
* Initial work on builtin constantsGregor Kleen2016-08-05
|
* framework for parsing SpecsGregor Kleen2016-07-31
|
* Lambda calculus for computing events at runtimeGregor Kleen2016-07-31
|
* Dynamically compute commandsGregor Kleen2016-05-27
|
* Seperated non-value rec. into own layer of stateGregor Kleen2016-04-17
| | | | Fixes lack of fixpoint
* Specifications to be evaluatedGregor Kleen2016-04-16