Rob Rix
|
10b7ce1ff3
|
Use foldMapA instead of asum/map.
|
2017-12-21 15:13:35 -05:00 |
|
Rob Rix
|
a50a63e6c0
|
Define a generalization of foldMap to Alternative.
|
2017-12-21 15:11:51 -05:00 |
|
joshvera
|
67746893db
|
++haskell-tree-sitter
|
2017-12-21 15:10:10 -05:00 |
|
Rob Rix
|
6723936881
|
Rename the cache binding.
|
2017-12-21 14:59:29 -05:00 |
|
Rob Rix
|
a9fca0db5f
|
📝 fixCache.
|
2017-12-21 14:57:14 -05:00 |
|
Rob Rix
|
01598e70c9
|
📝 evCache.
|
2017-12-21 14:55:21 -05:00 |
|
Rob Rix
|
3331746591
|
📝 the components to mlfp.
|
2017-12-21 14:53:39 -05:00 |
|
Rob Rix
|
93a47730ea
|
Swap the parameters to mlfp.
|
2017-12-21 14:47:11 -05:00 |
|
Rob Rix
|
db040aea62
|
Reformat mlfp’s signature.
|
2017-12-21 14:46:21 -05:00 |
|
Rob Rix
|
0aece7bea0
|
Note the coinduction.
|
2017-12-21 14:45:51 -05:00 |
|
Rob Rix
|
e629b0bc84
|
📝 mlfp.
|
2017-12-21 14:44:19 -05:00 |
|
Rob Rix
|
fb455ce8fc
|
📝 MonadCachingInterpreter.
|
2017-12-21 14:42:57 -05:00 |
|
Rob Rix
|
718f15ee05
|
📝 CachingResult.
|
2017-12-21 14:41:39 -05:00 |
|
Rob Rix
|
3f98649cb7
|
📝 the individual components of CachingInterpreter.
|
2017-12-21 14:41:21 -05:00 |
|
Rob Rix
|
e029da7854
|
📝 CachingInterpreter.
|
2017-12-21 14:36:23 -05:00 |
|
Rob Rix
|
7000e5ab60
|
Clarify the docs for evalTrace and evalReach.
|
2017-12-21 14:33:38 -05:00 |
|
Rob Rix
|
116cc96627
|
📝 evTell.
|
2017-12-21 14:33:14 -05:00 |
|
Rob Rix
|
adbc7e6623
|
📝 ReachableStateInterpreter.
|
2017-12-21 14:32:40 -05:00 |
|
Rob Rix
|
dd6d1fbd4a
|
📝 TraceInterpreter.
|
2017-12-21 14:32:22 -05:00 |
|
Rob Rix
|
4bf9d38435
|
📝 the specific effects in tracing interpreters.
|
2017-12-21 14:31:53 -05:00 |
|
Rob Rix
|
f0c9c803bb
|
🔥 a couple of redundant Readers.
|
2017-12-21 14:31:11 -05:00 |
|
Rob Rix
|
a4c34c84c8
|
📝 TracingInterpreter.
|
2017-12-21 14:30:57 -05:00 |
|
Rob Rix
|
11ae928e21
|
Combine the recurrence.
|
2017-12-21 14:29:08 -05:00 |
|
Rob Rix
|
5b29967262
|
Swap the order of the parameters to go.
|
2017-12-21 14:27:53 -05:00 |
|
Rob Rix
|
d19d5ad691
|
📝 the components of reachable’s signature.
|
2017-12-21 14:26:20 -05:00 |
|
Rob Rix
|
2232e5b03e
|
Reformat the signature for reachable.
|
2017-12-21 14:25:22 -05:00 |
|
Rob Rix
|
e4ae5d8c92
|
📝 reachable.
|
2017-12-21 14:23:43 -05:00 |
|
Rob Rix
|
2c1fddde06
|
📝 the gc components.
|
2017-12-21 14:23:21 -05:00 |
|
Rob Rix
|
2bb6c78526
|
Note that the gc traces.
|
2017-12-21 14:22:28 -05:00 |
|
Rob Rix
|
955c4e8bd4
|
Reformat the context for gc.
|
2017-12-21 13:30:14 -05:00 |
|
Rob Rix
|
1389e22fe5
|
Reformat the signature for gc.
|
2017-12-21 13:29:56 -05:00 |
|
Rob Rix
|
580ab01134
|
📝 gc.
|
2017-12-21 13:29:40 -05:00 |
|
Rob Rix
|
cebc231049
|
📝 evCollect.
|
2017-12-21 13:29:16 -05:00 |
|
Rob Rix
|
12a1e7cc5f
|
📝 evDead.
|
2017-12-21 13:27:30 -05:00 |
|
Rob Rix
|
47ab4f41f4
|
📝 DeadCodeResult.
|
2017-12-21 13:26:30 -05:00 |
|
Rob Rix
|
342b6372e8
|
📝 the effects in DeadCodeInterpreter.
|
2017-12-21 13:26:05 -05:00 |
|
Rob Rix
|
aa708a1964
|
🔥 the Live set reader from Interpreter.
|
2017-12-21 13:25:20 -05:00 |
|
Rob Rix
|
336a595ff5
|
🔥 another spurious Reader.
|
2017-12-21 13:24:49 -05:00 |
|
Rob Rix
|
191acc05a7
|
📝 DeadCodeInterpreter.
|
2017-12-21 13:24:43 -05:00 |
|
Rob Rix
|
ef13a1376f
|
📝 EvalResult.
|
2017-12-21 13:23:54 -05:00 |
|
Rob Rix
|
2d8146582b
|
📝 MonadInterpreter.
|
2017-12-21 13:23:34 -05:00 |
|
Rob Rix
|
63089985c6
|
📝 the concrete effects.
|
2017-12-21 13:23:07 -05:00 |
|
Rob Rix
|
38fbc49500
|
🔥 the spurious old live set reader.
|
2017-12-21 13:21:53 -05:00 |
|
Rob Rix
|
19c6c2a135
|
📝 Interpreter.
|
2017-12-21 13:14:15 -05:00 |
|
Rob Rix
|
70692db981
|
📝 the Eval instance for [].
|
2017-12-21 13:12:59 -05:00 |
|
Rob Rix
|
14d5c275f2
|
📝 the Eval instance for TermF.
|
2017-12-21 13:11:49 -05:00 |
|
Rob Rix
|
c6e086d208
|
📝 the Eval instance for Union.
|
2017-12-21 11:46:00 -05:00 |
|
Rob Rix
|
2044714a5a
|
Name the function parameters.
|
2017-12-21 11:42:52 -05:00 |
|
Rob Rix
|
bc94af7130
|
📝 what to do with the continuation.
|
2017-12-21 11:42:14 -05:00 |
|
Rob Rix
|
2d73a8988b
|
📝 the parameters to eval.
|
2017-12-21 11:38:29 -05:00 |
|