18578 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	c8d1ab596b	Define a foldSubterms recursion scheme.	2018-02-27 10:54:59 -05:00
Timothy Clem	841f68816e	Revert "Removing holding onto val in Interface" ... This reverts commit 948cf97aea91b0a122e4e2801348415d9aea1d42.	2018-02-27 07:54:30 -08:00
Rob Rix	7142a35387	📝 Subterm.	2018-02-27 10:52:38 -05:00
Rob Rix	2f7194447b	📝 SubtermAlgebra.	2018-02-27 10:52:32 -05:00
Rob Rix	d5575078f2	Define a SubtermAlgebra type synonym.	2018-02-27 10:51:52 -05:00
Rob Rix	76e34bb422	Define a Subterm datatype.	2018-02-27 10:51:13 -05:00
joshvera	256f3ebea4	Add Prologue	2018-02-27 10:37:09 -05:00
Rob Rix	9c37a0e0bc	Note some FIXMEs.	2018-02-27 09:50:01 -05:00
Rob Rix	77bc705fd0	Simplify how we evaluate program nodes.	2018-02-27 09:45:36 -05:00
Rob Rix	6a0c94ec82	🔥 step.	2018-02-27 09:39:20 -05:00
Rob Rix	5e4a8e7549	Merge branch 'eval-effect' into algebraic-evaluation	2018-02-27 09:32:58 -05:00
Rob Rix	93c0559fce	Define the eval signatures in terms of RAlgebra.	2018-02-27 09:28:09 -05:00
Rob Rix	da4e45189e	Align some comments.	2018-02-27 09:26:52 -05:00
Rob Rix	74d7ca7df2	Factor Base out of the algebra synonyms.	2018-02-27 09:26:05 -05:00
Timothy Clem	ab5e620991	extract a helper function	2018-02-26 15:54:19 -08:00
Timothy Clem	bc364910ce	Document these effects	2018-02-26 15:53:58 -08:00
Timothy Clem	d4127150b2	Pick one linker strategy for now	2018-02-26 15:50:33 -08:00
Timothy Clem	d370863c41	Collapse down to a couple of linker strategies	2018-02-26 15:50:05 -08:00
Timothy Clem	16a4341505	Removing holding onto val in Interface	2018-02-26 15:49:13 -08:00
Rob Rix	7175b74588	Note that para eval precludes customized evaluation. ... Co-Authored-By: Josh Vera <vera@github.com>	2018-02-26 17:09:43 -05:00
Rob Rix	a99f97854d	Express Evaluatable as an R-algebra. ... Co-Authored-By: Josh Vera <vera@github.com>	2018-02-26 17:07:24 -05:00
joshvera	e32961edde	Rename semantic-diff to semantic	2018-02-26 13:16:56 -05:00
Timothy Clem	ca21d42399	Didn't mean to commit this	2018-02-23 15:59:47 -08:00
Timothy Clem	4969e32dd0	Sort of allow import from syntax in micro python	2018-02-23 15:58:11 -08:00
Timothy Clem	8e57f7f731	Another linker/loader strategy	2018-02-23 15:12:28 -08:00
Timothy Clem	1ac8765600	Three different linker strategies	2018-02-23 14:29:36 -08:00
Timothy Clem	2414184231	Little bit of cleanup to step	2018-02-23 14:29:13 -08:00
Timothy Clem	3772c1dde6	Whitespace	2018-02-23 14:28:51 -08:00
Timothy Clem	9862745b85	Little bit nicer lookupOrAlloc param ordering	2018-02-23 11:45:24 -08:00
Timothy Clem	9ca63c9cac	Don't build these, we will bring them back in soon	2018-02-23 11:40:28 -08:00
Timothy Clem	3f364fe78f	Remove MonadEnv	2018-02-23 11:35:58 -08:00
Timothy Clem	bae3f74e0f	Move Evaluatable	2018-02-23 11:35:39 -08:00
Timothy Clem	22095cb73e	s/MonadAddress/Addressable	2018-02-23 11:30:27 -08:00
Timothy Clem	da3b840953	Renamed to match usage	2018-02-23 11:16:07 -08:00
Timothy Clem	063fab5d17	Get rid of MonadStore entirely	2018-02-23 11:11:24 -08:00
Timothy Clem	b9b3c1bedd	Pair down to a single, new Evaluatable	2018-02-23 11:11:13 -08:00
Timothy Clem	4d090bb085	Cleanup util a bit	2018-02-23 11:09:02 -08:00
Timothy Clem	31f15ef1d8	Clean up and document new evaluating API	2018-02-23 09:13:23 -08:00
Timothy Clem	545f6cb0cf	DataKinds for now	2018-02-23 09:13:08 -08:00
Timothy Clem	6bfbc37c73	Remove Store2	2018-02-23 09:00:52 -08:00
Timothy Clem	6aba719d1e	Remove debug tracing	2018-02-23 08:57:06 -08:00
Timothy Clem	0358e84a09	Cleanup imports	2018-02-23 08:57:00 -08:00
Timothy Clem	b94f8fdfa2	Evaluatable instance for Function	2018-02-23 08:56:48 -08:00
Timothy Clem	b5d3ddaf28	Clean up constraints	2018-02-23 08:56:06 -08:00
Timothy Clem	436edc5780	Evaluatable instance for Annotation	2018-02-23 08:55:03 -08:00
Timothy Clem	d5ee43da95	Evaluatable instance for Return	2018-02-23 08:54:45 -08:00
Timothy Clem	bd0cc0c027	Add a small version of Python to work with too	2018-02-23 08:54:26 -08:00
Timothy Clem	e5426e3744	Evaluate lots of ruby files	2018-02-22 16:34:30 -08:00
Timothy Clem	b9df69ffe4	Bring back evaluates	2018-02-22 16:24:22 -08:00
Timothy Clem	60c142a049	Fix this Import Evaluatable instance	2018-02-22 16:12:57 -08:00