88 Commits

Author	SHA1	Message	Date
Rob Rix	88ab103a23	Avoid an fmap.	2019-06-28 12:53:24 -04:00
Rob Rix	87ad03cc6e	Export incr after all.	2019-06-28 12:46:10 -04:00
Rob Rix	6d7520a0cd	Don’t export match, subst, or incr.	2019-06-28 12:26:30 -04:00
Rob Rix	de799f08b4	Generalize & move bind & instantiate.	2019-06-28 12:08:40 -04:00
Rob Rix	f0fae35ec9	Use separate functor & recursive types.	2019-06-28 11:41:53 -04:00
Rob Rix	a6cd4debe6	Annotate only the continuation.	2019-06-28 10:40:58 -04:00
Rob Rix	adddb87dc2	Rename n' to c.	2019-06-28 10:18:19 -04:00
Rob Rix	6dbb851b55	Define efold using eiter.	2019-06-28 10:00:04 -04:00
Rob Rix	501dd59329	Define efficient Mendler-style iteration of Core terms.	2019-06-28 09:57:40 -04:00
Rob Rix	0086d1e27b	Define an efficient generalized fold over Core.	2019-06-28 09:06:42 -04:00
Rob Rix	dc925fafcf	Fix indentation.	2019-06-27 19:21:45 -04:00
Rob Rix	746f0c92e9	Extract Var into Core.	2019-06-27 19:16:58 -04:00
Rob Rix	22c478bf45	🔥 >>> in favour of <>.	2019-06-27 15:26:30 -04:00
Rob Rix	383342bf9c	Use the smart constructor when binding.	2019-06-27 12:34:34 -04:00
Rob Rix	901e0172df	Add a smart constructor for string primitives.	2019-06-27 12:31:27 -04:00
Rob Rix	694bafed7e	🔥 konst.	2019-06-27 12:13:53 -04:00
Rob Rix	1f3cf601ad	🔥 unP.	2019-06-27 12:12:29 -04:00
Rob Rix	e776cd4051	Avoid a lambda.	2019-06-27 12:10:59 -04:00
Rob Rix	bc8937e60a	Simplify prettify' using kfold.	2019-06-27 12:09:39 -04:00
Rob Rix	1247dffb8b	Split Core into a higher-order functor and its fixpoint.	2019-06-27 12:02:56 -04:00
Rob Rix	2c8e8dcf3c	Use Const instead of K.	2019-06-27 09:40:08 -04:00
Rob Rix	03749a7ef4	Define a constant fold over core.	2019-06-27 09:37:36 -04:00
Rob Rix	3e6b41a2c1	Dedent.	2019-06-26 14:56:56 -04:00
Rob Rix	7e8c06a0d6	🔥 a type signature.	2019-06-26 14:56:00 -04:00
Rob Rix	ae2ae625e0	Zero-index.	2019-06-26 14:55:11 -04:00
Rob Rix	9c6d400224	🔥 P.	2019-06-26 14:53:41 -04:00
Rob Rix	44c0e8a38f	Don’t bother passing a Gensym around.	2019-06-26 14:49:28 -04:00
Rob Rix	babeeea738	Print variables more deliberately.	2019-06-26 14:38:48 -04:00
Rob Rix	da8de1b907	Define unP pointfully.	2019-06-26 14:13:33 -04:00
Rob Rix	b9f286bad4	Move unP next to p.	2019-06-26 14:12:11 -04:00
Rob Rix	da29ba1bea	Give a root name to prettify'.	2019-06-26 14:00:20 -04:00
Rob Rix	1eb9199c58	🔥 a redundant sig.	2019-06-26 10:49:57 -04:00
Rob Rix	8610f62707	Don’t print a name with lambdas, we’re using de Bruijn for this.	2019-06-26 10:43:55 -04:00
Rob Rix	d8a76ee1e2	Give an alternative definition of prettify using gfold.	2019-06-26 10:38:07 -04:00
Rob Rix	cea99d2aae	Specialize the type of the k parameter.	2019-06-26 10:07:07 -04:00
Rob Rix	6e5d4baa5f	Decompose sequences deeply.	2019-06-26 08:41:25 -04:00
Rob Rix	4b11270791	Decompose sequences.	2019-06-26 08:41:15 -04:00
Rob Rix	4c439f9ae7	Spacing.	2019-06-25 23:03:11 -04:00
Rob Rix	6dec2691da	Improve sharing.	2019-06-25 21:49:12 -04:00
Rob Rix	56336ae59a	Rename the dist parameter to k.	2019-06-25 21:42:35 -04:00
Rob Rix	8e000365a1	🔥 the dependency on recursion-schemes.	2019-06-25 21:31:25 -04:00
Rob Rix	df2355d277	Fix naming across the board.	2019-06-25 21:30:54 -04:00
Rob Rix	2ad9b569dd	Unpack lambdas.	2019-06-25 21:17:46 -04:00
Rob Rix	d9dd852738	Rename gfoldT to gfold.	2019-06-25 21:16:43 -04:00
Rob Rix	e73f8fe345	Pretty-print using the new shapes.	2019-06-25 18:33:06 -04:00
Rob Rix	9790468ada	Define instantiation of Core terms.	2019-06-25 18:31:28 -04:00
Rob Rix	bde447c040	Export lam.	2019-06-25 18:30:59 -04:00
Rob Rix	a2c4ddad34	Correct a comment.	2019-06-25 18:30:03 -04:00
Rob Rix	978f66aca6	🔥 the base functor.	2019-06-25 18:21:57 -04:00
Rob Rix	1240265cde	Make Core scope-safe.	2019-06-25 18:01:56 -04:00