.. |
Data
|
🔥 a slew of redundant constraints.
|
2016-09-14 19:23:54 -04:00 |
Diff
|
Generalize Term/TermF & Diff/DiffF over the functor.
|
2016-09-09 14:46:50 -04:00 |
Language
|
Merge remote-tracking branch 'origin/master' into improve-number-summaries
|
2016-09-19 13:08:15 -07:00 |
Patch
|
patchOf takes a pair of generators.
|
2016-06-06 12:35:37 -04:00 |
Renderer
|
Merge remote-tracking branch 'origin/master' into improve-number-summaries
|
2016-09-19 13:08:15 -07:00 |
Term
|
Corecursive, not Unfoldable.
|
2016-09-14 16:40:25 -04:00 |
Algorithm.hs
|
Haddock-friendly 📝 of AlgorithmF.
|
2016-08-04 12:31:18 -04:00 |
Alignment.hs
|
Merge branch 'master' into ghc8
|
2016-09-17 20:45:58 -04:00 |
Arguments.hs
|
Fix a couple of new warnings
|
2016-09-07 15:27:31 -07:00 |
Category.hs
|
Merge remote-tracking branch 'origin/master' into improve-number-summaries
|
2016-09-19 13:08:15 -07:00 |
Diff.hs
|
Mergeable implies Functor.
|
2016-09-14 17:13:10 -04:00 |
Diffing.hs
|
Merge remote-tracking branch 'origin/master' into improve-number-summaries
|
2016-09-19 13:08:15 -07:00 |
DiffSummary.hs
|
Merge remote-tracking branch 'origin/master' into improve-number-summaries
|
2016-09-19 13:08:15 -07:00 |
Info.hs
|
Revert ToJSON instance for Cost
|
2016-08-24 14:23:08 -04:00 |
Interpreter.hs
|
🔥 a slew of redundant constraints.
|
2016-09-14 19:23:54 -04:00 |
Language.hs
|
Merge branch 'master' into markdown
|
2016-09-13 10:35:28 -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
|
Protolude has traceShowId now apparently.
|
2016-09-14 16:33:33 -04:00 |
Range.hs
|
Remove unused import
|
2016-08-24 14:07:52 -04:00 |
Renderer.hs
|
🔥 the unused outputPath field from DiffArguments.
|
2016-09-13 15:40:53 -04:00 |
SES.hs
|
Use Int instead of Integer .
|
2016-08-18 10:52:49 -04:00 |
Source.hs
|
Add a Semigroup instance over Source.
|
2016-09-18 09:54:07 +09:00 |
SourceSpan.hs
|
nl at eof
|
2016-09-13 11:56:32 -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
|
🔥 a redundant constraint.
|
2016-09-14 17:09:50 -04:00 |
TreeSitter.hs
|
🔥 a redundant import.
|
2016-09-14 19:23:40 -04:00 |