| .. |
|
Data
|
Define a focusing operation for Context nodes.
|
2017-09-18 16:09:31 -04:00 |
|
Language
|
🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.
|
2017-09-13 19:14:01 -04:00 |
|
Renderer
|
Merge branch 'master' into substructural-diffing
|
2017-09-18 10:48:57 -04:00 |
|
Semantic
|
Merge branch 'master' into substructural-diffing
|
2017-09-18 10:48:57 -04:00 |
|
Algorithm.hs
|
🔥 subalgorithmFor.
|
2017-09-18 16:06:34 -04:00 |
|
Alignment.hs
|
Give Diff a pair of type parameters for the annotation types.
|
2017-09-14 09:41:52 -04:00 |
|
Category.hs
|
Merge branch 'master' into assignment-macro
|
2017-09-12 17:39:36 -07:00 |
|
Decorators.hs
|
Apply1 got renamed to Apply.
|
2017-09-18 00:24:08 -04:00 |
|
Diff.hs
|
Define a Symmetrical instance for Diff.
|
2017-09-14 16:07:36 -04:00 |
|
Files.hs
|
Ensure we treat /dev/null as empty.
|
2017-08-11 09:57:03 -04:00 |
|
Info.hs
|
Rename the Range module to Data.Range.
|
2017-06-24 09:46:28 -04:00 |
|
Interpreter.hs
|
Fully apply the diff parameter.
|
2017-09-14 15:17:22 -04:00 |
|
Language.hs
|
🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.
|
2017-09-13 19:14:01 -04:00 |
|
Parser.hs
|
Merge branch 'master' into substructural-diffing
|
2017-09-18 10:48:57 -04:00 |
|
Patch.hs
|
Define a Symmetrical instance for Patch.
|
2017-09-14 16:04:20 -04:00 |
|
Renderer.hs
|
Give Diff a pair of type parameters for the annotation types.
|
2017-09-14 09:41:52 -04:00 |
|
RWS.hs
|
Derive Eq, Ord, & Show instances for FeatureVector.
|
2017-09-14 11:49:41 -04:00 |
|
Semantic.hs
|
Generalize diffRecursively over the annotation types.
|
2017-09-14 11:24:17 -04:00 |
|
SemanticCmdLine.hs
|
Merge branch 'master' into requiem-for-a-protolude
|
2017-08-03 11:51:09 -04:00 |
|
SES.hs
|
Rename SES.Myers to SES.
|
2017-09-14 11:53:02 -04:00 |
|
SplitDiff.hs
|
Define an operator producing a Term from a SplitDiff.
|
2017-09-09 21:32:22 +01:00 |
|
Syntax.hs
|
Merge branch 'master' into assignment-macro
|
2017-09-12 17:39:36 -07:00 |
|
Term.hs
|
🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.
|
2017-09-13 19:14:01 -04:00 |
|
TreeSitter.hs
|
🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.
|
2017-09-13 19:14:01 -04:00 |
