100 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
crumbtoo	f01164bf01	diagrams	2024-02-15 22:06:41 -07:00
crumbtoo	2e13ec2cf4	microlens -> lens ... i still love you microlens..	2024-02-13 13:42:43 -07:00
crumbtoo	ccc71a751c	remove bad, incorrct, outdated docs	2024-02-13 13:20:39 -07:00
crumbtoo	c57da862ae	update readme	2024-02-13 12:57:01 -07:00
crumbtoo	4c9ceb74d1	ready?	2024-02-13 12:52:06 -07:00
crumbtoo	8267548fab	remove debug tracers	2024-02-13 12:01:46 -07:00
crumbtoo	968832bfaf	remove debug code	2024-02-13 11:51:10 -07:00
crumbtoo	81b019e659	QuickSort example works i'm gonig to cry	2024-02-13 11:50:10 -07:00
crumbtoo	cd2a283493	more nightmare GM fixes	2024-02-13 11:48:03 -07:00
crumbtoo	bb41d3c196	gte gm prim	2024-02-13 10:42:45 -07:00
crumbtoo	de16bf12df	fix: tag nested data names	2024-02-13 10:42:17 -07:00
crumbtoo	7b271e5265	bind VarP after pats	2024-02-12 11:52:48 -07:00
crumbtoo	af42d4fbd6	print# gm primitive	2024-02-12 11:09:01 -07:00
crumbtoo	8ac301aa48	constants for bool tags	2024-02-12 09:47:16 -07:00
crumbtoo	941f228c6c	decent state!	2024-02-12 07:44:10 -07:00
crumbtoo	dfad80b163	lt	2024-02-12 07:34:16 -07:00
crumbtoo	f53d42bf84	typechecking things	2024-02-09 19:07:34 -07:00
crumbtoo	17d764c2ec	typed coreExpr quoter	2024-02-09 18:31:37 -07:00
crumbtoo	58838b9527	formatting	2024-02-09 18:07:08 -07:00
crumbtoo	615a6f1b07	update examples	2024-02-09 17:56:38 -07:00
crumbtoo	50a4d0010c	small core fixes	2024-02-09 17:44:17 -07:00
crumbtoo	c37e8bdf15	Rlp2Core: pattern let binds	2024-02-09 17:04:33 -07:00
crumbtoo	2492660da4	Rlp2Core: simple let binds	2024-02-09 14:46:50 -07:00
crumbtoo	5749c0efd3	Merge branch 'dev' of github.com:msydneyslaga/rlp into dev	2024-02-09 08:11:32 -07:00
crumbtoo	17058d3f8c	letrec + typechecking core	2024-02-08 18:40:46 -07:00
crumbtoo	a2b4bd2afc	examples	2024-02-08 16:43:02 -07:00
crumbtoo	6dd581a25f	examples	2024-02-08 16:42:57 -07:00
crumbtoo	1d8eddc63f	fix evil lexer bug (it was actually quite subtle unlike prev.)	2024-02-08 16:42:37 -07:00
crumbtoo	5fdba5b862	fix evil parser bug (it was a fucking typo)	2024-02-08 16:29:23 -07:00
crumbtoo	055fbfd40c	.hs -> .cr ... update examples	2024-02-08 14:07:07 -07:00
crumbtoo	d2e301fad7	tidying	2024-02-08 14:00:43 -07:00
crumbtoo	8a94288e5a	remove unnecessary comment	2024-02-08 12:13:40 -07:00
crumbtoo	1c3286f047	ppr datatags	2024-02-08 12:12:57 -07:00
crumbtoo	fba46296db	ppr typesigs	2024-02-08 11:40:13 -07:00
crumbtoo	6c943af4a1	ppr debug flags ... ddump-parsed	2024-02-08 09:31:13 -07:00
crumbtoo	357da25795	diagram	2024-02-08 00:36:31 -07:00
crumbtoo	af5463f8f0	diagram	2024-02-08 00:36:23 -07:00
crumbtoo	bb2a07d2e9	define datatags	2024-02-07 23:49:08 -07:00
crumbtoo	c6f9c615b4	fix top-level layout	2024-02-07 21:38:01 -07:00
crumbtoo	96b73eced0	remove old files	2024-02-07 19:12:48 -07:00
crumbtoo	ec5f85f428	remove old files	2024-02-07 19:11:04 -07:00
crumbtoo	80425a274c	sigh i'm gonna have to nuke the ast again in a month	2024-02-07 18:52:19 -07:00
crumbtoo	2a51daf356	WIP associate postproc ... corecursive	2024-02-07 16:01:14 -07:00
crumbtoo	98bed84807	desugar	2024-02-07 15:18:47 -07:00
crumbtoo	719d5a4089	fix incomplete byTag	2024-02-07 14:26:47 -07:00
crumbtoo	77d27dccde	tidy	2024-02-07 12:09:16 -07:00
crumbtoo	71170d6d42	NameSupply effect	2024-02-07 11:43:33 -07:00
crumbtoo	d6529d50ff	tidying	2024-02-07 11:19:36 -07:00
crumbtoo	868b63e6ef	her light cuts deep time and time again ... ('her' of course referring to the field of computer science)	2024-02-07 11:08:17 -07:00
crumbtoo	12d261ede1	rose	2024-02-06 18:54:07 -07:00
crumbtoo	2895e3cb48	case unrolling	2024-02-06 13:39:01 -07:00
crumbtoo	15884336f1	parse case exprs	2024-02-06 13:04:36 -07:00
crumbtoo	57f5206b16	fix layout_let	2024-02-06 12:08:37 -07:00
crumbtoo	0c98bca174	expandableAlt	2024-02-06 11:04:17 -07:00
crumbtoo	bd55efc5ed	expandableAlt	2024-02-06 10:52:01 -07:00
crumbtoo	4f9f00dfee	sc	2024-02-04 20:52:23 -07:00
crumbtoo	b84992787c	rlp TH	2024-02-04 19:19:37 -07:00
crumbtoo	0fc82f3fa8	something	2024-02-04 18:59:48 -07:00
crumbtoo	21d13ea73b	ccoool	2024-02-02 19:15:39 -07:00
crumbtoo	38d1044f5d	rlp2core base	2024-02-02 15:11:01 -07:00
crumbtoo	c9d1ca51f5	XRec fix	2024-02-01 18:15:40 -07:00
crumbtoo	77f2f900d8	core driver	2024-02-01 15:24:16 -07:00
crumbtoo	ff5a5af9bc	-ddump-eval	2024-02-01 12:14:43 -07:00
crumbtoo	7a6518583f	debug tags	2024-02-01 11:57:37 -07:00
crumbtoo	dda0e17358	-ddump-ast	2024-02-01 11:37:52 -07:00
crumbtoo	46f0393a03	*R functions	2024-02-01 10:37:51 -07:00
crumbtoo	1803a1e058	formatting	2024-02-01 09:05:58 -07:00
crumbtoo	ccf17faff8	driver progress	2024-01-30 16:19:03 -07:00
crumbtoo	14df00039f	error messages	2024-01-30 15:56:45 -07:00
crumbtoo	ba099b7028	organisation and cleaning ... organisation and tidying	2024-01-30 14:04:43 -07:00
crumbtoo	e962bacd2e	fixup! ttg boilerplate	2024-01-30 13:04:23 -07:00
crumbtoo	f0c652b861	fixup! ttg boilerplate	2024-01-30 13:03:07 -07:00
crumbtoo	6a41e123ea	ttg boilerplate	2024-01-30 13:01:01 -07:00
crumbtoo	fbea3d6f3d	let layout	2024-01-28 19:41:36 -07:00
crumbtoo	ab979cb934	i should've made a lisp man this sucks	2024-01-28 19:33:05 -07:00
crumbtoo	7d42f9b641	at long last ... more no more undefineds	2024-01-28 18:30:12 -07:00
crumbtoo	fdaa2a1afd	abandon ship	2024-01-28 17:02:32 -07:00
crumbtoo	83dda869f8	show	2024-01-28 16:24:08 -07:00
crumbtoo	c74c192645	idk	2024-01-26 19:19:41 -07:00
crumbtoo	e00e4d3418	it's also a comonad. lol.	2024-01-26 17:53:05 -07:00
crumbtoo	8d0f324c63	oh my god guys!!! Located is a lax semimonoidal endofunctor on the category Hask!!! ... 	2024-01-26 17:25:59 -07:00
crumbtoo	6a6076f26e	some	2024-01-26 15:12:10 -07:00
crumbtoo	559fd49f2b	minor changes ... putting this on hold; implementing TTG first	2024-01-25 15:52:56 -07:00
crumbtoo	bb3f73836c	nearing release :3	2024-01-25 13:18:04 -07:00
crumbtoo	eeeac9cc85	named constr tests	2024-01-25 13:02:12 -07:00
crumbtoo	4f39dd36f1	resolve named data in case exprs	2024-01-25 12:39:57 -07:00
crumbtoo	4c99e44c04	temporary pragma system	2024-01-25 11:15:09 -07:00
crumbtoo	170e4e36ae	new tag syntax; preparing for Core patterns ... new tag syntax; preparing for data names	2024-01-24 11:34:09 -07:00
crumbtoo	d52a366c1b	small fixups	2024-01-24 11:03:51 -07:00
crumbtoo	0025d33069	stable enough for a demo hey?	2024-01-24 10:14:44 -07:00
crumbtoo	7c474cc064	minor docs	2024-01-24 09:49:27 -07:00
crumbtoo	fbef645746	checklist	2024-01-24 09:39:06 -07:00
crumbtoo	c8199a9dd1	minor docs	2024-01-24 09:31:57 -07:00
crumbtoo	3d45e12676	infer letrec expressions	2024-01-23 21:09:25 -07:00
crumbtoo	22b5b47795	letrec	2024-01-23 20:19:16 -07:00
crumbtoo	cefdf6ffae	allow uppercase sc names in preperation for Rlp2Core	2024-01-22 12:45:42 -07:00
crumbtoo	e3b18c8915	errors!	2024-01-22 12:20:05 -07:00
crumbtoo	692d22afb9	msgenvelope	2024-01-22 10:26:33 -07:00
crumbtoo	c146e1c450	errorful parser ... small	2024-01-22 10:14:30 -07:00
crumbtoo	5a659d22dd	errorful parser	2024-01-22 09:55:58 -07:00