Analysis
|
🔥 Output.
|
2018-05-14 18:40:22 -04:00 |
Assigning
|
style cleanups
|
2018-04-16 16:19:23 +10:00 |
Control
|
Docs
|
2018-05-16 10:20:21 -07:00 |
Data
|
s/File/Project b/c that makes more sense to me
|
2018-05-16 08:38:00 -07:00 |
Diffing
|
Define diffTermPair using these.
|
2018-05-15 18:29:04 -04:00 |
Parsing
|
s/File/Project b/c that makes more sense to me
|
2018-05-16 08:38:00 -07:00 |
Rendering
|
Reformat the signature for termAlgebra.
|
2018-05-15 18:29:39 -04:00 |
Serializing
|
JSON serialization appends a newline.
|
2018-05-14 15:04:06 -04:00 |
Prologue.hs
|
just don't export Trace at all
|
2018-05-08 12:06:34 -04:00 |