22 Commits

Author	SHA1	Message	Date
Rob Rix	5fbc3b5102	Avoid extra spaces in comma-separated lists.	2015-09-28 22:41:51 -04:00
Rob Rix	f4f5ad1e86	Rename DOC to Doc.	2015-09-28 22:36:22 -04:00
Rob Rix	b79bbfad62	Abbreviate some uses of doc a little.	2015-09-28 22:26:37 -04:00
Rob Rix	d3b27cfba4	Add a DOC type which constructs Doc. ... Following Wadler.	2015-09-28 17:06:52 -04:00
Rob Rix	a6c419c6e1	Support enums, structs, and variables.	2015-09-23 18:22:27 -04:00
Rob Rix	975ac8fc2f	Term initialization is partial.	2015-09-23 17:37:53 -04:00
Rob Rix	ce6fd43eaf	Term JSON constructors are public.	2015-09-23 16:27:29 -04:00
Rob Rix	74e93a14de	Move Term/JSON conversion into Term.	2015-09-23 13:34:45 -04:00
Rob Rix	bd7bcaea00	Explicitly annotate types so we can call without extra parentheses.	2015-09-23 12:32:25 -04:00
Rob Rix	22fa931d4d	Use Term.Roll.	2015-09-23 12:31:28 -04:00
Rob Rix	0c5c3910f6	Print the bodies of abstractions.	2015-09-22 17:35:41 -04:00
Rob Rix	5b1f35d7ff	Term constructors.	2015-09-22 17:26:45 -04:00
Rob Rix	a6473b9eff	Abstractions can have >1 elements in their body.	2015-09-22 17:23:48 -04:00
Rob Rix	5c7132a3bd	Rename Fix to Term.	2015-09-18 10:12:34 -04:00
Rob Rix	e823f84d4a	Syntax folding.	2015-09-16 12:22:53 -04:00
Rob Rix	440ccb9444	Leave Doc implicit wherever possible.	2015-09-15 14:33:09 -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	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	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