| .. |
|
Data
|
🔥 redundant parens.
|
2017-09-18 00:23:36 -04:00 |
|
Language
|
Merge branch 'master' into assignment-macro
|
2017-09-12 17:39:36 -07:00 |
|
Renderer
|
🔥 the Sum inside Patch nodes.
|
2017-09-13 16:07:22 -04:00 |
|
Semantic
|
Merge branch 'master' into assignment-macro
|
2017-09-12 17:39:36 -07:00 |
|
SES
|
🔥 Prologue & protolude.
|
2017-07-28 14:37:02 -04:00 |
|
Algorithm.hs
|
Inject in Diffable.
|
2017-09-18 00:23:14 -04:00 |
|
Alignment.hs
|
Diffs don’t need let-bindings.
|
2017-09-13 15:59:34 -04:00 |
|
Category.hs
|
Merge branch 'master' into assignment-macro
|
2017-09-12 17:39:36 -07:00 |
|
Decorators.hs
|
Merge branch 'specialized-terms-and-diffs' into relocate-json-fields
|
2017-09-11 16:12:25 -04:00 |
|
Diff.hs
|
🔥 the Sum inside Patch nodes.
|
2017-09-13 16:07:22 -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
|
Diffs don’t need let-bindings.
|
2017-09-13 15:59:34 -04:00 |
|
Language.hs
|
Use termIn widely.
|
2017-09-11 16:43:23 -04:00 |
|
Parser.hs
|
Use termIn widely.
|
2017-09-11 16:43:23 -04:00 |
|
Patch.hs
|
Merge branch 'master' into assignment-macro
|
2017-09-12 17:39:36 -07:00 |
|
Renderer.hs
|
Merge branch 'specialized-terms-and-diffs' into relocate-json-fields
|
2017-09-11 16:12:25 -04:00 |
|
RWS.hs
|
Use termIn widely.
|
2017-09-11 16:43:23 -04:00 |
|
Semantic.hs
|
Give our own definition of Diff.
|
2017-09-09 11:23:57 +01:00 |
|
SemanticCmdLine.hs
|
Merge branch 'master' into requiem-for-a-protolude
|
2017-08-03 11:51:09 -04:00 |
|
SES.hs
|
🔥 Prologue & protolude.
|
2017-07-28 14:37: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 redundant Functor constraint on hoistTermF.
|
2017-09-13 14:33:16 -04:00 |
|
TreeSitter.hs
|
Use termIn widely.
|
2017-09-11 16:43:23 -04:00 |
