summaryrefslogtreecommitdiff
path: root/edit-lens
Commit message (Collapse)AuthorAge
* TyposHEADsubmissionmasterGregor Kleen2019-06-07
|
* Finish for submissionGregor Kleen2019-06-07
|
* Finish exampleGregor Kleen2019-06-04
|
* CleanupGregor Kleen2019-06-04
|
* Further workGregor Kleen2019-05-30
|
* Stuff...Gregor Kleen2019-02-19
|
* Much ado about nothingGregor Kleen2018-12-18
|
* propL now produces correct complementGregor Kleen2018-07-02
|
* First prototype of working DFST-propLGregor Kleen2018-06-18
|
* Work on propLGregor Kleen2018-06-18
|
* Work on propLGregor Kleen2018-05-22
|
* FST operationsGregor Kleen2018-05-21
|
* Think about how handleTransition' gets calledGregor Kleen2018-05-21
|
* Fix (hopefully) `toFST`Gregor Kleen2018-05-21
|
* Introduce FSTs & Generalize input/outputGregor Kleen2018-05-21
| | | | `toFST` is currently invalid
* Think about propLGregor Kleen2018-05-13
|
* Minor CleanupGregor Kleen2018-05-08
|
* DFST lenses now pass some rudimentary testsGregor Kleen2018-05-07
|
* Better DFSTsGregor Kleen2018-05-07
|
* Really just need prefixes/suffixesGregor Kleen2018-05-07
|
* Describe algorithm for `propR` of DFST-lensGregor Kleen2018-05-07
|
* Improve doc of DFSTGregor Kleen2018-05-07
|
* Move non-breaking language extensions to package.yamlGregor Kleen2018-05-07
|
* Framework for DFST edit lensGregor Kleen2018-02-05
|
* Define DFSTsGregor Kleen2018-02-04
|
* No treesGregor Kleen2018-02-03
|
* RefactorGregor Kleen2017-11-23
|
* Migrate to hpackGregor Kleen2017-11-23
|
* TypoGregor Kleen2017-11-14
|
* Cat-T correctionsGregor Kleen2017-11-14
|
* Comment on language extensions & fix compilationGregor Kleen2017-11-13
|
* Initial work on central definitionsGregor Kleen2017-11-13