2233 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	a4f83780bd	Factor some of the operands out.	2015-11-17 17:59:01 -08:00
Rob Rix	9504ebe586	Recursive interpretation of Keyed terms.	2015-11-17 17:50:15 -08:00
Rob Rix	0d8edc8272	Recur through Fixed terms.	2015-11-17 17:35:00 -08:00
Rob Rix	e26dbb1fbe	Recur through indexed terms of equal length.	2015-11-17 17:34:04 -08:00
Rob Rix	e620eb76ff	Stub in recurring through indexed terms.	2015-11-17 17:29:18 -08:00
Rob Rix	a30328e682	Stub in recursive diffing to always replace.	2015-11-17 17:29:12 -08:00
Rob Rix	485e947da6	Rename to constructAndRun.	2015-11-17 17:17:45 -08:00
Rob Rix	cdcb575b57	Only export interpret.	2015-11-17 17:15:10 -08:00
Rob Rix	16e4bf891d	Interpretation.	2015-11-17 17:13:48 -08:00
Rob Rix	7c09fd1503	Stub in interpretation.	2015-11-17 17:05:16 -08:00
Rob Rix	3829f4492d	Remove the old interpret function.	2015-11-17 17:04:05 -08:00
Rob Rix	b4450e038e	Stub in a file for Interpreter.	2015-11-17 16:25:39 -08:00
Rob Rix	5438acf1fb	Add Algorithm.	2015-11-17 16:24:01 -08:00
Rob Rix	c56cc6cb74	We don’t need to import these.	2015-11-17 16:20:57 -08:00
Rob Rix	aba1b31625	Add an Algorithm file.	2015-11-17 16:20:52 -08:00
Rob Rix	a71385b22e	Indentation stuff.	2015-11-17 16:17:42 -08:00
Rob Rix	4028c50c84	Remove redundant DeriveFunctor.	2015-11-17 15:43:39 -08:00
Rob Rix	af280ae63d	Rename the Recursive constructor.	2015-11-17 15:40:03 -08:00
Rob Rix	a700b7f7ff	Derive functor.	2015-11-17 15:39:51 -08:00
Rob Rix	c8b573cb33	Move Operation into its own file.	2015-11-17 15:14:57 -08:00
Rob Rix	313019fa3a	Remove all the parentheses ever.	2015-11-17 15:09:42 -08:00
Rob Rix	4f84059c0b	Remove redundant.	2015-11-17 15:07:06 -08:00
Rob Rix	b2660e2b1c	Parenthesize some things.	2015-11-17 15:06:24 -08:00
Rob Rix	34f1ea4261	DeriveFunctor.	2015-11-17 15:06:16 -08:00
Rob Rix	67c707646d	Dependencies and stuff?	2015-11-17 15:03:25 -08:00
Rob Rix	5837cac53f	Print a string.	2015-11-17 14:54:16 -08:00
Rob Rix	e5282b9745	Remove Lib.hs.	2015-11-17 14:54:06 -08:00
Rob Rix	51c0c40814	Dot.	2015-11-17 14:52:41 -08:00
Rob Rix	d34c71ccf1	Move the sources into the package.	2015-11-17 14:49:59 -08:00
Rob Rix	e5b35fdc4a	I mean, sure.	2015-11-17 14:44:16 -08:00
Rob Rix	c0b6b1a4c5	Ignore .stack-work.	2015-11-17 14:44:07 -08:00
Rob Rix	e7de6d3ea2	Construct Cofrees.	2015-11-17 14:32:43 -08:00
Rob Rix	865b38bc2e	Terms are Cofrees.	2015-11-17 14:17:55 -08:00
Rob Rix	9782ce1f62	Ha ha Info is just Info.	2015-11-17 14:17:20 -08:00
Rob Rix	34eb8f9a28	Info has a range and categories.	2015-11-17 14:09:52 -08:00
Rob Rix	6652ef6b3f	Import Cofree.	2015-11-17 14:07:36 -08:00
Rob Rix	87269517dd	Use Data.Fix instead of Fix.	2015-11-17 14:06:07 -08:00
Rob Rix	f985212b89	Unpack the Map.	2015-11-17 13:56:40 -08:00
Rob Rix	5b837704ee	Deal with Fixed.	2015-11-17 13:46:23 -08:00
Rob Rix	fcf1ce0023	Reorder the type parameters ಠ_ಠ	2015-11-17 13:45:14 -08:00
Rob Rix	5e3be122e1	Remove iter.	2015-11-17 13:44:30 -08:00
Rob Rix	e55712493e	Maps.	2015-11-17 13:44:27 -08:00
Rob Rix	726a31a6cf	Use the correct constructor.	2015-11-17 13:40:19 -08:00
Rob Rix	1a9c5346f3	Spaces.	2015-11-17 13:38:05 -08:00
Rob Rix	a85cbbbd6f	Parenthesize.	2015-11-17 13:37:10 -08:00
Rob Rix	f066ad3844	Import Syntax.	2015-11-17 13:35:55 -08:00
Rob Rix	6d7cfbaa53	Import Free.	2015-11-17 13:35:52 -08:00
Rob Rix	9c6a1f3ccb	s/AST/Syntax/	2015-11-17 13:32:14 -08:00
Rob Rix	cc4cf569c1	Remove AST.	2015-11-17 13:31:38 -08:00
Rob Rix	cb80d7de54	Derive Show and Eq.	2015-11-17 13:31:17 -08:00