Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | cleanup | Gregor Kleen | 2016-07-28 |
| | |||
* | Switch from monoid to foldable container | Gregor Kleen | 2016-07-28 |
| | |||
* | Dynamically compute commands | Gregor Kleen | 2016-05-27 |
| | |||
* | Seperated non-value rec. into own layer of state | Gregor Kleen | 2016-04-17 |
| | | | | Fixes lack of fixpoint | ||
* | Specifications to be evaluated | Gregor Kleen | 2016-04-16 |
| | |||
* | Introduced some types | Gregor Kleen | 2016-04-16 |
| | |||
* | Framework | Gregor Kleen | 2016-04-05 |