15363 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	a13ca9817b	Define a function constructing a Patch from a Diff.	2017-09-12 08:35:34 -04:00
Rob Rix	fb9dd790ba	Merge branch 'relocate-json-fields' into directed-acyclic-diffs	2017-09-11 16:44:57 -04:00
Rob Rix	f40fdda887	Merge branch 'specialized-terms-and-diffs' into relocate-json-fields	2017-09-11 16:43:47 -04:00
Rob Rix	96323a9095	Use termIn widely.	2017-09-11 16:43:23 -04:00
Rob Rix	d5f3e0c9c4	🔥 a redundant import.	2017-09-11 16:21:10 -04:00
Rob Rix	c2f4ef3572	Merge branch 'relocate-json-fields' into directed-acyclic-diffs	2017-09-11 16:20:57 -04:00
Rob Rix	6d61c1b683	Merge branch 'specialized-terms-and-diffs' into relocate-json-fields	2017-09-11 16:12:25 -04:00
Rob Rix	2c83e7e283	Merge branch 'master' into specialized-terms-and-diffs	2017-09-11 16:01:20 -04:00
Rob Rix	1cd6dd2899	Update the tests.	2017-09-11 15:48:58 -04:00
Rob Rix	5df09cd261	📝 termIn.	2017-09-11 15:43:52 -04:00
Rob Rix	56e9982960	Define a Term smart constructor.	2017-09-11 15:43:31 -04:00
Rob Rix	3cc8440fae	Rename the TermF constructor to In.	2017-09-11 15:36:23 -04:00
Rob Rix	c29a9671f0	Rename termSyntax to termOut.	2017-09-11 15:24:09 -04:00
Rob Rix	2d25dd44f9	Update TOC.	2017-09-11 15:21:25 -04:00
Rob Rix	8195c99255	Update Alignment.	2017-09-11 15:16:27 -04:00
Rob Rix	042d46c732	Update Interpreter.	2017-09-11 12:58:37 -04:00
Rob Rix	828176f64e	Update the s-expression renderer.	2017-09-11 12:54:47 -04:00
Rob Rix	da7966a4c5	copy no longer takes its parameters in Both.	2017-09-11 12:28:56 -04:00
Rob Rix	2838447f04	Define Diff using BindingF and recursively constructed diffs.	2017-09-11 12:02:22 -04:00
Rob Rix	e555eb8676	Merge pull request #1329 from github/explicit-choice ... Explicit choice	2017-09-11 17:00:30 +01:00
Rob Rix	946ee44707	Spacing.	2017-09-11 11:57:36 -04:00
Rob Rix	3d5e359f44	Define a Pretty1 instance for DiffF.	2017-09-11 11:57:30 -04:00
Rob Rix	583249fce9	Define hoisting of TermFs.	2017-09-11 11:06:41 -04:00
Rob Rix	e745372f61	Define Pretty instances for products/sums of unions.	2017-09-11 11:00:31 -04:00
Rob Rix	42b5fbdcd3	Define ToJSONFields instances over Data.Functor.{Product,Sum} instead of the GHC.Generics types.	2017-09-11 10:39:26 -04:00
Rob Rix	1f64d68023	Let holds an Env.	2017-09-11 10:20:54 -04:00
Rob Rix	6dc4cf310e	Define a Show1 instance for Env.	2017-09-11 10:20:48 -04:00
Rob Rix	98cd5eb860	Define an Eq1 instance for Env.	2017-09-11 10:20:42 -04:00
Rob Rix	649aad3f8a	Derive a Semigroup instance for Env.	2017-09-11 10:14:36 -04:00
Rob Rix	5c49c98255	Define a hoisting operation for bindings.	2017-09-11 09:52:28 -04:00
Rob Rix	c8706d6c4b	Spacing.	2017-09-11 09:50:14 -04:00
Rob Rix	8e12798a05	Define a let binding smart constructor using circular programming.	2017-09-11 09:41:46 -04:00
Rob Rix	7e55483157	Derive Foldable, Functor, & Traversable instances for BindingF.	2017-09-11 09:40:14 -04:00
Rob Rix	4d818304fb	Compute the max bound metavariable in an ABT.	2017-09-11 09:36:00 -04:00
Rob Rix	d064e3f1e5	Compute the free metavariables in an ABT.	2017-09-11 09:35:51 -04:00
Rob Rix	65c418359a	List the exports explicitly.	2017-09-11 09:34:57 -04:00
Rob Rix	77cac93526	Define a ToJSONFields instance for BindingF.	2017-09-11 09:33:49 -04:00
Rob Rix	7a80201f99	Rename VarF to Var.	2017-09-11 09:33:39 -04:00
Rob Rix	127980698e	List the imports from Data.Functor.Binding explicitly.	2017-09-11 09:32:07 -04:00
Rob Rix	4a7b93042c	Define a ToJSONFields1 instance for JSONFields1.	2017-09-10 22:40:55 -04:00
Rob Rix	475e12d038	Define a ToJSONFields instance for JSONFields.	2017-09-10 22:40:13 -04:00
Rob Rix	fb26ef6b34	Define a ToJSONFields instance for JSONFields1.	2017-09-10 22:39:27 -04:00
Rob Rix	4955524c29	Lift the ToJSONFields instance for pairs over ToJSONFields instances.	2017-09-10 22:37:39 -04:00
Rob Rix	ccabc81192	Define a ToJSONFields1 instance for sums.	2017-09-10 22:33:29 -04:00
Rob Rix	66e866427f	Define a ToJSONFields1 instance for products.	2017-09-10 22:32:34 -04:00
Rob Rix	f8f3e6466d	Define a JSONFields1 bridge for ToJSON instances.	2017-09-10 22:32:07 -04:00
Rob Rix	f43dc62d12	Define a JSONFields bridge for ToJSON instances.	2017-09-10 22:31:57 -04:00
Rob Rix	8c205e7114	Generalize the ToJSONFields instance for pairs.	2017-09-10 22:26:59 -04:00
Rob Rix	f06b155f1d	Define a ToJSONFields instance for pairs.	2017-09-10 22:26:32 -04:00
Rob Rix	db7301fba2	Define a ToJSON instance for DiffF.	2017-09-10 22:24:08 -04:00