71 Commits

Author	SHA1	Message	Date
Rob Rix	cc403afe27	🔥 Analysis.	2019-12-19 12:30:05 -05:00
Rob Rix	f68bce11f6	Reference variables using the Domain effect.	2019-12-19 12:11:37 -05:00
Rob Rix	c4db1c9db4	Evaluate records using the Domain effect.	2019-12-19 12:09:37 -05:00
Rob Rix	e546950f29	Parameterize terms by addresses.	2019-12-19 11:52:05 -05:00
Rob Rix	1bc3c65efe	🔥 the term parameter from Analysis.	2019-12-19 11:18:54 -05:00
Rob Rix	039148aa89	Define a smart constructor for concretizing lambdas.	2019-12-19 11:14:01 -05:00
Rob Rix	9f2a2fc819	Define a smart constructor for constructing lambdas.	2019-12-19 11:11:47 -05:00
Rob Rix	1832212aea	Interpret functions using the Domain effect.	2019-12-19 11:09:33 -05:00
Rob Rix	a60380ad09	Revert "Parameterize terms by addresses." ... This reverts commit 1d292b0395.	2019-12-19 11:06:44 -05:00
Rob Rix	1d292b0395	Parameterize terms by addresses.	2019-12-19 11:06:40 -05:00
Rob Rix	443b4ca8e1	Add lambdas to Intro.	2019-12-18 15:13:38 -05:00
Rob Rix	cfc8bdfe38	🔥 Ignored.	2019-12-18 10:54:54 -05:00
Rob Rix	6485f858ed	Move Named & Ignored into Analysis.Name.	2019-12-18 10:51:02 -05:00
Rob Rix	ff4523e25e	Extract the basic introduction forms into a new syntax type.	2019-12-16 13:50:58 -05:00
Rob Rix	fbd86f3115	Concretize using the smart constructors.	2019-12-13 11:43:56 -05:00
Rob Rix	d113cc4ea9	Use the smart constructors to tidy up Core.Eval.	2019-12-13 11:38:10 -05:00
Rob Rix	34a0afbfba	Merge branch 'fused-effects-one-dot-zero' into analysis-effects	2019-12-12 12:53:27 -05:00
Rob Rix	83194f8b98	🔥 a redundant import.	2019-12-10 15:11:01 -05:00
Rob Rix	df43078a65	Merge branch 'master' into fused-effects-one-dot-zero	2019-12-10 14:48:48 -05:00
Patrick Thomson	d258677dd8	And the rest of them	2019-12-06 14:54:06 -05:00
Patrick Thomson	c2685b81c3	Revert whitespace changes.	2019-12-06 14:52:49 -05:00
Patrick Thomson	dd5cf213d6	Derive HFoldable instances for syntax types.	2019-12-06 14:51:09 -05:00
Patrick Thomson	17d0b57f85	Preserve whitespace.	2019-12-06 14:05:20 -05:00
Patrick Thomson	1c735d46d0	Establish HTraversable instances for Core, Ann, and Failure.	2019-12-05 15:06:54 -05:00
Patrick Thomson	9fb876be84	Port over RightModule definitions for Core and Ann.	2019-11-08 10:36:43 -05:00
Rob Rix	4ede4ae68b	Concretize values via the Domain effect.	2019-11-07 11:03:10 -05:00
Rob Rix	56cc4e1040	Construct Unit, Bool, & String via the Domain effect.	2019-11-07 11:01:41 -05:00
Rob Rix	7f6680d825	Specialize the Env effect to Name.	2019-11-05 12:08:13 -05:00
Rob Rix	02ae8de2ba	Specialize Analysis to Name.	2019-11-05 12:02:39 -05:00
Rob Rix	0e69c0a67a	Use Analysis.Name in Core.	2019-11-05 11:17:09 -05:00
Rob Rix	a3e7d51cfe	Fix a typo.	2019-11-04 14:30:45 -05:00
Rob Rix	07568e55a5	Use the Heap effect to define eval.	2019-11-04 14:00:05 -05:00
Rob Rix	6e1383d2de	Evaluate Core using the Env effect.	2019-11-01 15:25:49 -04:00
Rob Rix	a8333adae0	Derive the RightModule instance for Core.	2019-10-28 13:26:15 -04:00
Rob Rix	8d751c1dbc	Derive the RightModule instance for Ann.	2019-10-28 13:26:07 -04:00
Rob Rix	904b79b462	Derive the Effect instance for Core.	2019-10-28 12:01:13 -04:00
Rob Rix	b3308bc694	Derive the Effect instance for Ann.	2019-10-28 12:01:06 -04:00
Rob Rix	e139ec0a76	Fix the Effect instances in Core.Core.	2019-10-28 12:00:30 -04:00
Rob Rix	d3cb08c9cf	Fix the rest of semantic-core.	2019-10-28 11:10:34 -04:00
Rob Rix	c2a1a298a8	Fix Core.Core.	2019-10-28 11:09:41 -04:00
Rob Rix	5372cfad51	Merge branch 'master' into fused-effects-one-dot-zero	2019-10-25 16:05:40 -04:00
Rob Rix	68d43468af	Merge pull request #361 from github/yes-comment ... Support comments in the Core parser.	2019-10-25 13:06:31 -04:00
Patrick Thomson	fe468f2cda	Go with // for comments.	2019-10-25 10:54:35 -04:00
Patrick Thomson	65f6325668	simplify projection	2019-10-25 09:50:04 -04:00
Patrick Thomson	2d8819933a	Simplify derivations.	2019-10-25 09:35:08 -04:00
Patrick Thomson	1c039b786b	Kill unused function.	2019-10-23 16:05:57 -04:00
Patrick Thomson	bf1aebf1f3	Add comments to Core. ... I went with the Haskell comment style (`--` for line comments, `{- -}` for block comments, allowing nested multiline comments. This can be changed pretty easily.	2019-10-23 15:27:13 -04:00
Patrick Thomson	14c3faf750	the tests pass now	2019-10-23 13:09:26 -04:00
Patrick Thomson	8f0790ced2	Add pretty-printing support.	2019-10-23 12:05:40 -04:00
Patrick Thomson	9b56f60132	Add parsing support.	2019-10-23 12:05:35 -04:00