280 Commits

Author	SHA1	Message	Date
Rob Rix	5e8a2c27c6	Note that :>>= is sequential let.	2019-07-22 10:38:08 -04:00
Rob Rix	85c1815b9f	Look up globals in the global scope.	2019-07-22 10:32:50 -04:00
Rob Rix	c495b4bf07	🔥 Edge.	2019-07-22 10:28:41 -04:00
Rob Rix	94546f7e75	Define a helper for binding multiple local variables in a sequence.	2019-07-22 10:24:07 -04:00
Rob Rix	c9b328eff5	🔥 a bunch of redundant prefixes.	2019-07-22 10:18:17 -04:00
Rob Rix	c175bc3553	Bind the global scope recursively.	2019-07-22 10:18:02 -04:00
Rob Rix	2a5c1818d1	🔥 lam'/lams'.	2019-07-22 10:12:48 -04:00
Rob Rix	1d50aecd9e	Define prog5 using lams.	2019-07-22 10:09:26 -04:00
Rob Rix	db448e6847	🔥 Let & Frame.	2019-07-22 10:07:27 -04:00
Rob Rix	b5a0624853	🔥 redundant parens.	2019-07-22 09:42:09 -04:00
Rob Rix	f24ef8b0a4	Correct the docs for Record.	2019-07-19 15:31:47 -04:00
Rob Rix	bff499e934	📝 :..	2019-07-19 15:31:19 -04:00
Rob Rix	ef24642f26	Give fixity & precedence for :<-.	2019-07-19 15:25:33 -04:00
Rob Rix	38efb33327	Move unseq & unseqs up under >>>.	2019-07-19 15:19:34 -04:00
Rob Rix	e809a2935b	📝 :>>=.	2019-07-19 15:06:27 -04:00
Rob Rix	6f5e578d0f	Define a smart constructor for local bindings.	2019-07-19 15:04:27 -04:00
Rob Rix	15a125ba3b	Give fixity & precedence for >>>.	2019-07-19 15:01:01 -04:00
Rob Rix	a10cdc9380	Use >>> to define Block’s Semigroup instance.	2019-07-19 15:00:39 -04:00
Rob Rix	8c06d7bf0e	Reintroduce assignment syntax.	2019-07-19 14:58:31 -04:00
Rob Rix	cbf9f431dd	Define a smart-constructor for :>>.	2019-07-19 14:44:54 -04:00
Rob Rix	79f573795d	Parse records.	2019-07-19 14:36:22 -04:00
Rob Rix	972a52dcbf	Prefix records during pretty-printing.	2019-07-19 14:32:08 -04:00
Rob Rix	3459b3b058	Parse recursive bindings.	2019-07-19 14:28:48 -04:00
Rob Rix	2606e1eff1	🔥 a redundant where clause.	2019-07-19 14:26:08 -04:00
Rob Rix	1398c995a0	Redefine records as a flat list of bindings.	2019-07-19 14:21:39 -04:00
Rob Rix	f373ca410f	Define a smart constructor for recursive bindings.	2019-07-19 14:16:41 -04:00
Rob Rix	e259bc0e91	Define a recursive binder.	2019-07-19 14:03:31 -04:00
Rob Rix	00beb2dbce	Define a smart constructor for records.	2019-07-19 12:31:00 -04:00
Rob Rix	218c8f3ba0	Define records of simultaneously-bound fields.	2019-07-19 12:18:48 -04:00
Rob Rix	83cd925263	Use Named to represent the binder.	2019-07-19 12:03:50 -04:00
Rob Rix	de519912be	Generalize encloseIf to any Semigroup.	2019-07-19 11:53:09 -04:00
Rob Rix	ebafd644d3	Move encloseIf back into Data.Core.Pretty.	2019-07-19 11:52:17 -04:00
Rob Rix	0115512f58	Simplify how we instantiate in unlam.	2019-07-19 11:45:29 -04:00
Rob Rix	02b955819c	Correct prog5 to construct and return a new frame.	2019-07-19 11:10:40 -04:00
Rob Rix	90c6bea5f0	Increase the precedence of $$.	2019-07-19 11:08:23 -04:00
Rob Rix	53598bd6e9	Revert "Give fromScope a parameter to bind over the contents of the scope." ... This reverts commit d998f66133.	2019-07-19 11:00:02 -04:00
Rob Rix	66c0bffc17	Instantiate.	2019-07-19 10:59:02 -04:00
Rob Rix	a45c029d86	Simplify prettyCore.go.	2019-07-19 09:59:08 -04:00
Rob Rix	d998f66133	Give fromScope a parameter to bind over the contents of the scope.	2019-07-19 09:58:10 -04:00
Rob Rix	790f4e3084	Revert "Define a fixpoint over rank-n quantified mendler-style recursive functions." ... This reverts commit 835506030b.	2019-07-19 09:44:25 -04:00
Rob Rix	835506030b	Define a fixpoint over rank-n quantified mendler-style recursive functions.	2019-07-19 09:42:10 -04:00
Rob Rix	89cdd3bda3	Reformat the signature for typecheckingAnalysis.	2019-07-19 08:46:02 -04:00
Rob Rix	7d336c9d9a	Reformat a little.	2019-07-19 08:43:31 -04:00
Rob Rix	f81384767a	Reformat the signature for eval.	2019-07-18 22:00:45 -04:00
Rob Rix	01c963069e	Merge branch 'types-as-syntax' into gen-x	2019-07-18 21:37:07 -04:00
Rob Rix	4ccf31d863	Replace Substitutable with monadic substitution.	2019-07-18 17:01:03 -04:00
Rob Rix	fcaf1307dd	Replace FreeVariables with a function abstracted over a Foldable instance.	2019-07-18 16:53:00 -04:00
Rob Rix	e533091826	🔥 Gensym.	2019-07-18 16:39:23 -04:00
Rob Rix	cda5e3d80e	🔥 Namespaced.	2019-07-18 16:38:58 -04:00
Rob Rix	467292d509	🔥 Name.	2019-07-18 16:38:25 -04:00