7 Commits

Author	SHA1	Message	Date
crumbtoo	0650e1d32d	rename prettily	2024-03-26 12:41:33 -06:00
crumbtoo	f6c53879ff	ppretty tyvars	2024-03-26 12:12:31 -06:00
crumbtoo	739f304904	let-polymorphism working i think???	2024-03-26 09:23:38 -06:00
crumbtoo	eca712d0d7	something	2024-03-20 18:58:44 -06:00
crumbtoo	c3017ca445	type-checker and working visualiser	2024-03-18 10:27:06 -06:00
crumbtoo	47c2d34551	kill me	2024-03-15 20:02:20 -06:00
crumbtoo	932fed8e5c	begin hm visualiser	2024-03-14 16:26:51 -06:00