5 commits

Author	SHA1	Message	Date
Michael Zhang	81d28b6740	refactor	2024-06-21 15:43:19 -05:00
Michael Zhang	3a2eda20cb	compiles again	2024-06-18 16:28:15 -05:00
Michael Zhang	f771a7d20f	compiles	2024-06-18 15:20:42 -05:00
Michael Zhang	21728e6de5	updates	2024-06-18 14:16:51 -05:00
Michael Zhang	b08f584ab0	rip out cozo	2024-06-17 15:08:03 -04:00