| .. |
|
Data
|
Merge branch 'intmap-intersections-in-rws' into finer-grained-rejection-of-candidate-matches
|
2016-08-19 13:18:37 -04:00 |
|
Diff
|
Generalize Term/TermF & Diff/DiffF over the functor.
|
2016-09-09 14:46:50 -04:00 |
|
Language
|
Merge branch 'master' into abstract-the-functor-out-of-diff-and-term-type-synonyms
|
2016-09-12 09:05:20 -04:00 |
|
Patch
|
patchOf takes a pair of generators.
|
2016-06-06 12:35:37 -04:00 |
|
Renderer
|
🔥 a redundant import.
|
2016-09-12 13:43:23 -04:00 |
|
Term
|
Generalize Term/TermF & Diff/DiffF over the functor.
|
2016-09-09 14:46:50 -04:00 |
|
Algorithm.hs
|
Haddock-friendly 📝 of AlgorithmF.
|
2016-08-04 12:31:18 -04:00 |
|
Alignment.hs
|
Add specializations of Term/TermF/Diff/DiffF/SplitDiff over Syntax/Record.
|
2016-09-12 13:40:22 -04:00 |
|
Arguments.hs
|
Fix a couple of new warnings
|
2016-09-07 15:27:31 -07:00 |
|
Category.hs
|
Add the empty statement
|
2016-08-19 15:53:04 -04:00 |
|
Diff.hs
|
Add specializations of Term/TermF/Diff/DiffF/SplitDiff over Syntax/Record.
|
2016-09-12 13:40:22 -04:00 |
|
Diffing.hs
|
Merge branch 'master' into abstract-the-functor-out-of-diff-and-term-type-synonyms
|
2016-09-12 09:05:20 -04:00 |
|
DiffSummary.hs
|
Add specializations of Term/TermF/Diff/DiffF/SplitDiff over Syntax/Record.
|
2016-09-12 13:40:22 -04:00 |
|
Info.hs
|
Revert ToJSON instance for Cost
|
2016-08-24 14:23:08 -04:00 |
|
Interpreter.hs
|
Add specializations of Term/TermF/Diff/DiffF/SplitDiff over Syntax/Record.
|
2016-09-12 13:40:22 -04:00 |
|
Language.hs
|
Merge branch 'master' into abstract-the-functor-out-of-diff-and-term-type-synonyms
|
2016-09-12 09:05:20 -04:00 |
|
Parser.hs
|
🔥 the old termConstructor function.
|
2016-09-07 12:25:09 -04:00 |
|
Patch.hs
|
Account for false positive close terms
|
2016-08-17 16:34:58 -04:00 |
|
Prologue.hs
|
This is already getting exported via Protolude.
|
2016-08-04 08:52:25 -04:00 |
|
Range.hs
|
Remove unused import
|
2016-08-24 14:07:52 -04:00 |
|
Renderer.hs
|
Generalize Term/TermF & Diff/DiffF over the functor.
|
2016-09-09 14:46:50 -04:00 |
|
SES.hs
|
Use Int instead of Integer.
|
2016-08-18 10:52:49 -04:00 |
|
Source.hs
|
Add emptySourceBlob and sourceBlob functions to Source
|
2016-08-09 16:14:46 -04:00 |
|
SourceSpan.hs
|
attribute SourceSpan credit to purescript
|
2016-07-27 18:56:20 -04:00 |
|
SplitDiff.hs
|
Add specializations of Term/TermF/Diff/DiffF/SplitDiff over Syntax/Record.
|
2016-09-12 13:40:22 -04:00 |
|
Syntax.hs
|
Function id no longer a Maybe
|
2016-08-22 18:56:20 -05:00 |
|
Term.hs
|
Add specializations of Term/TermF/Diff/DiffF/SplitDiff over Syntax/Record.
|
2016-09-12 13:40:22 -04:00 |
|
TreeSitter.hs
|
Format comment
|
2016-09-09 16:23:19 -05:00 |
