incremental-dfsts - [no description]

	Commit message (Collapse)	Author	Age
*	Describe algorithm for `propR` of DFST-lens	Gregor Kleen	2018-05-07
\|
*	Improve doc of DFST	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
\|
*	Define DFSTs	Gregor Kleen	2018-02-04
\|
*	No trees	Gregor Kleen	2018-02-03
\|
*	Refactor	Gregor Kleen	2017-11-23
\|
*	Migrate to hpack	Gregor Kleen	2017-11-23
\|
*	Typo	Gregor Kleen	2017-11-14
\|
*	Cat-T corrections	Gregor Kleen	2017-11-14
\|
*	Comment on language extensions & fix compilation	Gregor Kleen	2017-11-13
\|
*	Initial work on central definitions	Gregor Kleen	2017-11-13