Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Describe algorithm for `propR` of DFST-lens | Gregor Kleen | 2018-05-07 |
| | |||
* | Move non-breaking language extensions to package.yaml | Gregor Kleen | 2018-05-07 |
| | |||
* | Framework for DFST edit lens | Gregor Kleen | 2018-02-05 |
index : incremental-dfsts | ||
[no description] | gkleen |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Describe algorithm for `propR` of DFST-lens | Gregor Kleen | 2018-05-07 |
| | |||
* | Move non-breaking language extensions to package.yaml | Gregor Kleen | 2018-05-07 |
| | |||
* | Framework for DFST edit lens | Gregor Kleen | 2018-02-05 |