16452 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	8bb048a8e6	Merge pull request #1401 from github/tableofcontentsby-bugfix ... modify tableOfContentsBy method	2017-10-16 14:42:17 -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
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
Ayman Nadeem	8f496db787	delete Unchanged entries	2017-10-13 10:50:29 -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
Rob Rix	07ab2d4032	Merge pull request #1406 from github/repl-script ... script/repl, project-wide .ghci defaults, & 💡ProTip!s	2017-10-13 11:54:25 -04:00
Rob Rix	b22f4f9fc3	No : in the prompt.	2017-10-13 11:41:52 -04:00
Rob Rix	3aed4c3370	Merge branch 'repl-script' of https://github.com/github/semantic-diff into repl-script	2017-10-13 11:29:39 -04:00
Rob Rix	708bf16f30	Merge branch 'master' into repl-script	2017-10-13 11:27:51 -04:00
Rob Rix	b1a7056948	Make the assignment binding reloadable.	2017-10-13 11:24:13 -04:00
Rob Rix	e511bd2572	Document stuff in .ghci.	2017-10-13 11:23:55 -04:00
Rob Rix	c288bfe22c	🔥 .ghci-template.	2017-10-13 10:55:28 -04:00
Rob Rix	55fec0a156	Add the assignment macro to the .ghci file.	2017-10-13 10:55:15 -04:00
Rob Rix	8d156bfa8b	Set a cyan lambda prompt.	2017-10-13 10:21:39 -04:00
Rob Rix	e17f8e58a4	Warnings aren’t fatal in the repl.	2017-10-13 10:21:29 -04:00
Rob Rix	0d71bf7fa6	Break on errors in interactive code.	2017-10-13 10:21:08 -04:00
Rob Rix	7f6017b037	Define a reload-with-pretty macro.	2017-10-13 10:20:48 -04:00
Rob Rix	dcf5f5b40a	Define pretty/no-pretty macros.	2017-10-13 10:20:36 -04:00
Rob Rix	b55f5a20d2	Add a .ghci file with a source macro.	2017-10-13 10:20:24 -04:00
Rob Rix	d6f4914c46	🔥 the dependencies on pretty-show & hscolour.	2017-10-13 10:08:34 -04:00
Rob Rix	203719d053	🔥 the pp util.	2017-10-13 10:08:24 -04:00
Ayman Nadeem	159e3c14a7	corrects predicate	2017-10-12 14:07:27 -07:00
Josh Vera	9bac377598	Merge pull request #1395 from github/more-typescript-fixes ... More typescript fixes	2017-10-12 09:56:47 -07:00
joshvera	87a20fd170	Merge remote-tracking branch 'origin/master' into more-typescript-fixes	2017-10-12 11:33:14 -04:00
Rob Rix	734c92ee1c	Merge pull request #1403 from github/language-assignment-rename ... Language assignment rename	2017-10-11 10:57:12 -04:00
Rick Winfrey	5f482fbb4f	Rename markup to markdown	2017-10-10 17:25:45 -07:00
Rick Winfrey	4361d05715	🔥 unnecessary extension	2017-10-10 17:19:44 -07:00
Rick Winfrey	8a3f4f7e33	Merge branch 'master' into language-assignment-rename	2017-10-10 17:17:58 -07:00
Rick Winfrey	03d4a4d5c0	Update TypeScript	2017-10-10 15:55:42 -07:00