25480 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	d3b82148b8	Diff is CustomDebugStringConvertible.	2015-09-15 14:08:59 -04:00
Rob Rix	cae54e2c95	Fix can be empty.	2015-09-15 14:07:35 -04:00
Rob Rix	64c3a6074b	Don’t specialize description.	2015-09-15 13:58:47 -04:00
Rob Rix	d76ec6a208	Move Tree up in the list.	2015-09-15 13:56:08 -04:00
Rob Rix	9b9daa910a	Remove the heading.	2015-09-15 13:55:46 -04:00
Rob Rix	d5d63a892d	Define Doc directly, not algebraically.	2015-09-15 13:55:09 -04:00
Rob Rix	41bba38001	Fix is an enum.	2015-09-15 13:49:23 -04:00
Rob Rix	6724c834e5	Remove FixpointType.	2015-09-15 13:46:45 -04:00
Rob Rix	d23d646f66	Tree is CustomStringConvertible.	2015-09-15 12:52:07 -04:00
Rob Rix	5f66984cec	Tree is public.	2015-09-15 12:50:36 -04:00
Rob Rix	485565b4e4	Add a simple rose tree.	2015-09-15 12:49:39 -04:00
Rob Rix	871dc356dd	Tweak some things to make Xcode happy.	2015-09-15 12:34:53 -04:00
Rob Rix	93fd2acc81	Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5' ... git-subtree-dir: prototype git-subtree-mainline: 0244ce39f68a04b515f32b2b8ea9a3e0228923c7 git-subtree-split: a7fef6ced9	2015-09-15 12:32:12 -04:00
Rob Rix	a7fef6ced9	Note the need for SES.	2015-09-11 16:35:02 -04:00
Rob Rix	8fa77ae595	Use the Pretty initializer to get the doc.	2015-09-11 11:48:17 -04:00
Rob Rix	30a4b2fca5	Add a test playground.	2015-09-11 11:45:46 -04:00
Rob Rix	5b6fc850f9	Diff uses indirect.	2015-09-11 11:40:01 -04:00
Rob Rix	367e3b0ebc	Diffing is defined over Fix.	2015-09-11 11:38:42 -04:00
Rob Rix	e829798d59	Rewrite the diff function as an initializer.	2015-09-11 11:35:51 -04:00
Rob Rix	8aa8f3d32f	Diff is public.	2015-09-11 11:34:15 -04:00
Rob Rix	29e3aaf361	Syntax, Fix, Doc, and Pretty are public.	2015-09-11 10:17:19 -04:00
Rob Rix	d118fc5dfe	Parser state has public fields.	2015-09-11 10:03:52 -04:00
Rob Rix	1e0d71e42d	Clean up the test file.	2015-09-11 09:59:59 -04:00
Rob Rix	2bbb132d7e	Parsing is public.	2015-09-11 09:59:40 -04:00
Rob Rix	264f0943c9	Migrate syntax and stuff.	2015-09-09 14:59:08 -04:00
Rob Rix	d4b52967a8	Add .gitignore.	2015-09-08 12:14:00 -04:00
Rob Rix	a3c91b7aa1	Pretty equality.	2015-07-18 15:47:25 -04:00
Rob Rix	bed4b7bca9	Matuschak denormalization of ==.	2015-07-18 15:46:34 -04:00
Rob Rix	5e0f00edce	The codes.	2015-07-18 15:43:49 -04:00
Rob Rix	d307218981	Ignore some stuff.	2015-07-18 15:43:12 -04:00