7 commits

Author	SHA1	Message	Date
Alexander McCord	18726c1ed5	This violates ODR. Move implementation to header.	2024-05-26 12:06:24 -07:00
Alexander McCord	603da12809	Just realized DenseHashMap doesn't make sense for Id and L. ... We are unlikely to have an "empty" value for both Id and L, so we have to use `std::unordered_map` for now.	2024-05-24 13:26:30 -07:00
Alexander McCord	00a15a9e8c	Add part of definition 2.2.	2024-05-24 13:26:25 -07:00
Alexander McCord	dd65db40ee	Make sure some things aren't inherited.	2024-05-24 10:49:05 -07:00
Alexander McCord	cf712b316a	Rename 3 fields.	2024-05-24 10:48:08 -07:00
Alexander McCord	b44c525f10	Got the type of hashcons wrong. Fixed.	2024-05-24 10:47:35 -07:00
Alexander McCord	2338185296	Definition 2.1.1.	2024-05-18 15:26:57 -07:00