16734 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	9c1dce7ab9	🔥 the Context/Empty Listable instances.	2017-10-23 11:53:42 -04:00
Rob Rix	c0d833f361	🔥 the Context/Empty tests of the Mergeable laws.	2017-10-23 11:53:36 -04:00
Rob Rix	16b86bb9a2	beforeTerm/afterTerm can handle substructural diffs.	2017-10-23 11:10:53 -04:00
Rob Rix	293731e71b	Define the Mergeable instance for NonEmpty recursively. ... This prevents failure in the first element precluding success later on.	2017-10-23 10:58:13 -04:00
Rob Rix	6a0321c401	Test the Mergeable laws against a Union.	2017-10-23 10:40:33 -04:00
Rob Rix	8245e337ce	Define a Listable instance for Union.	2017-10-23 10:36:53 -04:00
Rob Rix	395678bcb3	Test the Mergeable laws against Context & Empty.	2017-10-23 10:32:48 -04:00
Rob Rix	0184f57713	Define Listable instances for Context & Empty.	2017-10-23 10:32:32 -04:00
Rob Rix	662eb608a7	Align the beforeTerm/afterTerm definitions.	2017-10-23 10:28:59 -04:00
Rob Rix	b0fdc0e607	🔥 mergeMaybe.	2017-10-23 10:27:03 -04:00
Rob Rix	e8101cd735	Correct how we show the tail of records.	2017-10-23 10:14:41 -04:00
Rob Rix	dd33e479ea	Don’t parenthesize Nil.	2017-10-23 10:14:21 -04:00
Rob Rix	a4a4074a22	Re-enable the pending tests.	2017-10-23 09:40:06 -04:00
Rob Rix	22538876ea	Explicitly list the exports from Data.Diff.	2017-10-23 09:39:08 -04:00
Rob Rix	8fbdd8e6c3	🔥 diffSum.	2017-10-23 09:39:00 -04:00
Rob Rix	02d5bc1518	🔥 diffCost.	2017-10-23 09:38:22 -04:00
Rob Rix	08eedd23cc	Measure the length of diffPatches instead of using diffCost.	2017-10-23 09:37:47 -04:00
Rob Rix	bb5e061aac	List the imports from Data.Mergeable explicitly.	2017-10-23 09:37:25 -04:00
Josh Vera	5313e4aa1c	Merge branch 'master' into default-typescript-assignment	2017-10-16 15:17:24 -04:00
joshvera	11c5dcf8b6	Use the typescript assignment parser by default	2017-10-16 14:46:08 -04:00
Josh Vera	8bb048a8e6	Merge pull request #1401 from github/tableofcontentsby-bugfix ... modify tableOfContentsBy method	2017-10-16 14:42:17 -04:00
joshvera	b0458bb02c	remove extra parens	2017-10-16 14:41:17 -04:00
joshvera	9456891ea9	Combine imports	2017-10-16 14:41:08 -04:00
Josh Vera	06f97356df	Merge branch 'master' into tableofcontentsby-bugfix	2017-10-16 13:56:35 -04:00
Ayman Nadeem	a26dd3e3b1	Merge pull request #1376 from github/dev-setup-questions ... Update README.md	2017-10-16 09:10:15 -07:00
Ayman Nadeem	b190ba59c5	Merge branch 'master' into dev-setup-questions	2017-10-16 09:06:17 -07:00
Timothy Clem	bf79cf2c98	Eval instance for TextElement	2017-10-13 15:00:57 -07:00
Timothy Clem	c648922710	String as a primitive	2017-10-13 15:00:00 -07:00
Timothy Clem	3b1fd97748	Port over the Interpreter	2017-10-13 14:17:04 -07:00
Timothy Clem	a2517dd843	Make sure Empty has Ord1	2017-10-13 14:16:29 -07:00
Timothy Clem	143e47f3ab	Bump effects for Ord1 instance on Union	2017-10-13 14:16:08 -07:00
Rob Rix	bd4b2de6d8	Merge branch 'master' into tableofcontentsby-bugfix	2017-10-13 15:49:05 -04:00
Rob Rix	378b50ffd5	Merge pull request #1408 from github/simpler-repl-package-loading ... Simpler REPL package loading	2017-10-13 14:51:17 -04:00
Rob Rix	b44485b8d4	Merge branch 'master' into tableofcontentsby-bugfix	2017-10-13 14:24:43 -04:00
Rob Rix	a5925ce9ed	This doesn’t work.	2017-10-13 14:23:11 -04:00
Timothy Clem	2d4c9fcc8a	Just move this down in the file	2017-10-13 11:10:44 -07:00
Timothy Clem	6af0c7d992	Clean up imports	2017-10-13 11:07:34 -07:00
Timothy Clem	c01f95acbc	Ord, Ord1, Ord2 instances for Term(F)	2017-10-13 11:04:32 -07:00
Timothy Clem	d1ad4d6318	Port over Environment, Primitive, Type, Value	2017-10-13 11:03:58 -07:00
Timothy Clem	f27ecb61cb	Break out FreeVariables	2017-10-13 11:03:16 -07:00
Timothy Clem	666240e6a3	Formatting	2017-10-13 11:01:31 -07:00
Timothy Clem	8e198dd460	Bring in Control.Effect	2017-10-13 11:01:04 -07:00
Ayman Nadeem	8f496db787	delete Unchanged entries	2017-10-13 10:50:29 -07:00
Timothy Clem	448d9ea338	Introduce standard and collecting evaluator type classes ... Ported from https://github.com/robrix/abstract-interpretation	2017-10-13 10:13:41 -07:00
Rob Rix	8b89c73979	Rename the reload binding to :r.	2017-10-13 12:47:46 -04:00
Rob Rix	1cc005bc4a	Pretty-printing is on by default.	2017-10-13 12:47:28 -04:00
Rob Rix	bcf273b019	Define pretty with unlines & without importing.	2017-10-13 12:47:21 -04:00
Rob Rix	b77d847a19	🔥 source because it’s dangerous now.	2017-10-13 12:46:16 -04:00
Rob Rix	5e0a1c9101	Update .ghci	2017-10-13 12:42:08 -04:00
Timothy Clem	624203b92e	Merge branch 'master' into try-another-key	2017-10-13 09:22:08 -07:00