.. |
Data
|
Use the Patch DSL in RWS.
|
2016-08-04 12:51:41 -04:00 |
Diff
|
Put some formatting back.
|
2016-07-22 13:52:48 -04:00 |
Patch
|
patchOf takes a pair of generators.
|
2016-06-06 12:35:37 -04:00 |
Renderer
|
Add the missing pattern match over methods.
|
2016-08-04 10:04:33 -04:00 |
Term
|
Put some formatting back.
|
2016-07-22 13:52:48 -04:00 |
Algorithm.hs
|
Haddock-friendly 📝 of AlgorithmF.
|
2016-08-04 12:31:18 -04:00 |
Alignment.hs
|
Add an Error case to Alignment
|
2016-07-26 14:51:15 -04:00 |
Category.hs
|
🔥 the unused CoArbitrary instance over Category.
|
2016-08-04 10:04:33 -04:00 |
Diff.hs
|
Rename Sequenceable to Mergeable.
|
2016-07-22 17:38:10 -04:00 |
Diffing.hs
|
Remove some redundant imports
|
2016-07-29 14:31:15 -04:00 |
DiffSummary.hs
|
Use the Foldable instance to avoid a mappend.
|
2016-08-04 10:19:46 -04:00 |
Info.hs
|
Remove some redundant imports
|
2016-07-29 14:31:15 -04:00 |
Interpreter.hs
|
📝 diffComparableTerms.
|
2016-08-04 12:48:27 -04:00 |
Language.hs
|
Merge remote-tracking branch 'origin/master' into diff-summaries
|
2016-05-26 13:40:54 -04:00 |
Parser.hs
|
Merge remote-tracking branch 'origin/master' into throw-syntax
|
2016-08-01 13:55:44 -04:00 |
Patch.hs
|
📝 the Patch DSL.
|
2016-08-04 12:51:05 -04:00 |
Prologue.hs
|
This is already getting exported via Protolude.
|
2016-08-04 08:52:25 -04:00 |
Range.hs
|
Placate hlint.
|
2016-07-13 15:33:53 -04:00 |
Renderer.hs
|
Pass SourceBlobs to diffSummary
|
2016-07-29 12:59:07 -04:00 |
SES.hs
|
Use the Patch DSL in SES.
|
2016-08-04 12:51:36 -04:00 |
Source.hs
|
Move Source declarations to the top
|
2016-07-29 13:03:11 -04:00 |
SourceSpan.hs
|
attribute SourceSpan credit to purescript
|
2016-07-27 18:56:20 -04:00 |
SplitDiff.hs
|
Remove some redundant imports
|
2016-07-29 14:31:15 -04:00 |
Syntax.hs
|
Haddock-friendly docs for Syntax.
|
2016-08-04 12:26:07 -04:00 |
Term.hs
|
🔥 a redundant import.
|
2016-07-14 14:25:49 -04:00 |
TreeSitter.hs
|
Merge remote-tracking branch 'origin/master' into throw-syntax
|
2016-08-01 13:55:44 -04:00 |