| .. |
|
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
|
Remove determiner and category name for these boolean statements
|
2016-09-23 10:24:47 -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
|
Pattern match leaf in branches for correct use of 'the'
|
2016-09-19 17:39:30 -07: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 |
