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 |
|
Rob Rix
|
5eb6370287
|
Reformat the signature for eval.
|
2017-12-21 11:33:19 -05:00 |
|
Rob Rix
|
be7295223f
|
Expand on the 📝 for eval to mention the open-recursive child term evaluator.
|
2017-12-21 11:32:34 -05:00 |
|
Rob Rix
|
d2d37375b1
|
Expand on the docs for 'Eval'.
|
2017-12-21 11:31:40 -05:00 |
|
Rob Rix
|
dc4a868ee4
|
Clarify the 📝 for eval.
|
2017-12-21 11:30:52 -05:00 |
|
Rob Rix
|
47c970ca33
|
Merge branch 'master' into document-abstract-interpretation
|
2017-12-21 11:29:23 -05:00 |
|
Rob Rix
|
128b834503
|
Merge pull request #1466 from github/robrix-patch-1
Remove the stubbed-in roadmap file
|
2017-12-21 11:27:03 -05:00 |
|
Rob Rix
|
c5ecc98758
|
📝 the type parameters to MonadTrace.
|
2017-12-21 11:19:54 -05:00 |
|
Rob Rix
|
6d2f116796
|
📝 trace.
|
2017-12-21 11:18:36 -05:00 |
|
Rob Rix
|
f15f468706
|
📝 MonadTrace.
|
2017-12-21 11:18:08 -05:00 |
|
Rob Rix
|
69cea8be74
|
📝 assign.
|
2017-12-21 11:17:23 -05:00 |
|
Rob Rix
|
fdb2b2abde
|
Eta-expand the definition of assign.
|
2017-12-21 11:16:23 -05:00 |
|
Rob Rix
|
0b59677368
|
📝 modifyStore.
|
2017-12-21 11:15:59 -05:00 |
|
Rob Rix
|
4ede5f226a
|
📝 putStore.
|
2017-12-21 11:15:40 -05:00 |
|
Rob Rix
|
86b4e6ad6c
|
📝 getStore.
|
2017-12-21 11:15:36 -05:00 |
|
Rob Rix
|
1a0c163145
|
📝 MonadStore.
|
2017-12-21 11:15:16 -05:00 |
|
Rob Rix
|
9390869304
|
📝 the MonadNonDet instance for NonDetEff.
|
2017-12-21 11:14:31 -05:00 |
|
Rob Rix
|
1758195761
|
📝 the arguments & return value of collect.
|
2017-12-21 11:12:31 -05:00 |
|
Rob Rix
|
3c842832c0
|
Reformat the signature for collect.
|
2017-12-21 11:08:54 -05:00 |
|
Rob Rix
|
ec5f852951
|
📝 collect.
|
2017-12-21 11:08:41 -05:00 |
|
Rob Rix
|
92d909dba6
|
:fire
|
2017-12-21 11:06:02 -05:00 |
|
Rob Rix
|
fb6f56c8b9
|
📝 MonadNonDet.
|
2017-12-21 11:02:47 -05:00 |
|