3 Commits

Author	SHA1	Message	Date
Jeff	98ea049229	Complete index assignment	2023-11-14 21:03:52 -05:00
Jeff	a804a85b1f	Begin adding index assignment	2023-11-14 20:41:57 -05:00
Jeff	2d85a3ee2b	Improve soundness of Map type	2023-11-05 13:54:29 -05:00