|
Algorithm.hs
|
Abstract Diff over an annotation type.
|
2015-11-18 13:23:47 -08:00 |
|
Console.hs
|
Style is Bounded.
|
2015-11-19 18:02:11 -08:00 |
|
Diff.hs
|
Ranges have Int bounds.
|
2015-11-19 15:05:29 -08:00 |
|
Interpreter.hs
|
constructAndRun for equal terms.
|
2015-11-19 11:56:45 -08:00 |
|
Operation.hs
|
Abstract Diff over an annotation type.
|
2015-11-18 13:23:47 -08:00 |
|
Patch.hs
|
Add a before function.
|
2015-11-19 17:25:28 -08:00 |
|
SES.hs
|
Abstract Diff over an annotation type.
|
2015-11-18 13:23:47 -08:00 |
|
Syntax.hs
|
Indentation stuff.
|
2015-11-17 16:17:42 -08:00 |
|
Term.hs
|
cata over Term.
|
2015-11-19 17:17:17 -08:00 |
|
Unified.hs
|
Only render unified.
|
2015-11-19 17:38:21 -08:00 |
