.. |
Data
|
Define a Show1 instance for BindingF.
|
2017-09-10 21:51:57 -04:00 |
Language
|
Rename tailF to termSyntax.
|
2017-09-09 11:51:41 +01:00 |
Renderer
|
Move Metavar & Env to Data.Functor.Binding.
|
2017-09-10 21:22:32 -04:00 |
Semantic
|
Redefine Term as a wrapper for TermF.
|
2017-09-09 11:47:10 +01:00 |
SES
|
🔥 Prologue & protolude.
|
2017-07-28 14:37:02 -04:00 |
Algorithm.hs
|
Use the copy helper widely.
|
2017-09-09 11:57:56 +01:00 |
Alignment.hs
|
Move Metavar & Env to Data.Functor.Binding.
|
2017-09-10 21:22:32 -04:00 |
Category.hs
|
Move the ToJSONFields instance for Category into Category.
|
2017-09-09 17:30:34 +01:00 |
Decorators.hs
|
🔥 Renderer.JSON’s export of ToJSONFields.
|
2017-09-09 17:41:24 +01:00 |
Diff.hs
|
Move Metavar & Env to Data.Functor.Binding.
|
2017-09-10 21:22:32 -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
|
Move Metavar & Env to Data.Functor.Binding.
|
2017-09-10 21:22:32 -04:00 |
Language.hs
|
Redefine Term as a wrapper for TermF.
|
2017-09-09 11:47:10 +01:00 |
Parser.hs
|
Redefine Term as a wrapper for TermF.
|
2017-09-09 11:47:10 +01:00 |
Patch.hs
|
🔥 patchSum.
|
2017-09-09 21:36:22 +01:00 |
Renderer.hs
|
🔥 Renderer.JSON’s export of ToJSONFields.
|
2017-09-09 17:41:24 +01:00 |
RWS.hs
|
Move all the Listable stuff into the tests.
|
2017-09-09 14:44:57 +01: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
|
Lift the Term/Diff ToJSONFields instances to * -> *.
|
2017-09-09 17:35:45 +01:00 |
Term.hs
|
Simplify the Eq1 instance for Term.
|
2017-09-09 18:58:56 +01:00 |
TreeSitter.hs
|
Redefine Term as a wrapper for TermF.
|
2017-09-09 11:47:10 +01:00 |