3 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Michael Zhang	90608fd0f6	not worth it	2023-04-20 20:47:03 -05:00
Michael Zhang	f6c3c6cf11	type level nats	2023-04-20 19:51:20 -05:00
Michael Zhang	b4f5c537ef	initial	2023-04-20 18:14:48 -05:00