8 commits

Author	SHA1	Message	Date
Michael Zhang	f479cf0420	id typechecks	2023-11-29 20:54:43 -06:00
Michael Zhang	9dd6779950	wip	2023-11-13 09:27:20 -06:00
Michael Zhang	c7d1b02f8d	add some more rules	2023-11-07 02:50:06 -06:00
Michael Zhang	d20044501b	id of unit	2023-11-07 01:33:59 -06:00
Michael Zhang	07624ca363	interpreter	2023-11-04 14:33:21 -05:00
Michael Zhang	0b00a6dfff	better gensym	2023-11-04 13:49:54 -05:00
Michael Zhang	f91029c107	ok implemented most of the typing rules	2023-11-02 03:13:47 -05:00
Michael Zhang	809c25c8bc	ok we're back to rust	2023-11-01 23:46:22 -05:00