272 Commits

Author	SHA1	Message	Date
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
Rob Rix	62c09c308b	🔥 Naming.	2019-07-18 16:37:51 -04:00
Rob Rix	59f09cc679	🔥 NamingC & runNaming.	2019-07-18 16:37:13 -04:00
Rob Rix	baa675f235	🔥 prime.	2019-07-18 16:35:57 -04:00
Rob Rix	03ed4cd3ae	Analyze with names in User.	2019-07-18 16:34:41 -04:00
Rob Rix	122b631811	Use Void to represent closed terms.	2019-07-18 16:19:05 -04:00
Rob Rix	5dbf727985	Generalize in pure code.	2019-07-18 16:10:16 -04:00
Rob Rix	a83cdffa73	Define a function to close a term.	2019-07-18 16:08:32 -04:00
Rob Rix	8371475e43	Use hoistTerm to generalize monotypes to polytypes.	2019-07-18 16:02:52 -04:00