11105 Commits

Author	SHA1	Message	Date
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
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	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	fb6f56c8b9	📝 MonadNonDet.	2017-12-21 11:02:47 -05:00
Rob Rix	76bbf5b78e	📝 extraRoots.	2017-12-21 11:00:27 -05:00
Rob Rix	e437f2bf81	📝 askRoots.	2017-12-21 10:59:01 -05:00
Rob Rix	ddc84efe53	📝 MonadGC.	2017-12-21 10:58:36 -05:00
Rob Rix	cf7fac62ca	📝 the RunEffect instance for Fresh.	2017-12-21 10:57:50 -05:00
Rob Rix	62b1b804fc	Redo the Fresh constructor docs to describe them as requests.	2017-12-21 10:56:15 -05:00
Rob Rix	9cac249c84	📝 reset.	2017-12-21 10:56:04 -05:00
Rob Rix	3dd34f2a12	📝 fresh.	2017-12-21 10:55:58 -05:00
Rob Rix	25d3fcb308	📝 MonadFresh.	2017-12-21 10:55:12 -05:00
Rob Rix	434dd829b3	📝 the Fresh constructors.	2017-12-21 10:54:40 -05:00
Rob Rix	32215499f0	📝 Fresh.	2017-12-21 10:53:08 -05:00
Rob Rix	a400be517f	📝 localEnv.	2017-12-21 10:52:26 -05:00
Rob Rix	73b8da0d4c	📝 askEnv.	2017-12-21 10:52:02 -05:00
Rob Rix	46448c356a	📝 MonadEnv.	2017-12-21 10:51:53 -05:00
Rob Rix	2b26a58ae0	Note the default implementation for liftFreeVariables.	2017-12-21 10:51:06 -05:00
Rob Rix	1cef83c8a7	Define revive pointfully.	2017-12-21 10:49:26 -05:00
Rob Rix	1d34f15ca5	📝 revive.	2017-12-21 10:48:12 -05:00
Rob Rix	3d52ec38a0	📝 killAll.	2017-12-21 10:47:56 -05:00
Rob Rix	d8e394a13c	📝 MonadDead.	2017-12-21 10:47:24 -05:00
Rob Rix	65f1af1154	📝 Dead.	2017-12-21 10:46:53 -05:00
Rob Rix	1a52fd9c7a	📝 modifyCache.	2017-12-21 10:46:16 -05:00
Rob Rix	250551d39d	📝 putCache.	2017-12-21 10:45:38 -05:00
Rob Rix	5bf888bc51	📝 getCache.	2017-12-21 10:45:31 -05:00
Rob Rix	ec027c6e60	📝 localCache.	2017-12-21 10:44:53 -05:00
Rob Rix	8791d01796	📝 askCache.	2017-12-21 10:44:37 -05:00
Rob Rix	cb3bb31f99	📝 MonadCacheOut.	2017-12-21 10:44:09 -05:00
Rob Rix	9ea6525dcd	📝 MonadCacheIn.	2017-12-21 10:35:41 -05:00
Rob Rix	38ce2575bd	Simplify the qualification of 'fail'.	2017-12-21 10:19:22 -05:00
Rob Rix	f63d73e843	📝 uninitializedAddress.	2017-12-21 10:18:50 -05:00
Rob Rix	475a7d79da	📝 the MonadAddress instances.	2017-12-21 10:17:56 -05:00
Rob Rix	1fb1196483	📝 envLookupOrAlloc'’s assumption.	2017-12-21 10:14:24 -05:00
Rob Rix	b9e34041a1	📝 envLookupOrAlloc'.	2017-12-21 10:13:34 -05:00
Rob Rix	7a002dc910	📝 envLookupOrAlloc.	2017-12-21 10:13:05 -05:00
Rob Rix	10d6298b54	📝 MonadAddress.	2017-12-21 10:03:15 -05:00
Rob Rix	f842f1423d	📝 the RunEffect instances.	2017-12-21 10:00:43 -05:00
Rob Rix	915d8706f0	📝 runEffect.	2017-12-21 09:57:26 -05:00
Rob Rix	54dbd0785b	📝 Result.	2017-12-21 09:55:29 -05:00
Rob Rix	6bd0550804	📝 RunEffect.	2017-12-21 09:54:48 -05:00
Rob Rix	ebe2202de7	📝 Final.	2017-12-21 09:53:52 -05:00