3 Commits

Include renames

Author	SHA1	Message	Date
Nathan Sobo	0747131bd4	Compiling checkpoint	2023-08-19 19:51:22 -06:00
Nathan Sobo	3709eff34b	Compiling	2023-08-18 01:59:21 -06:00
Nathan Sobo	9b74dc196e	Introduce Refinement trait and derive macro	2023-08-18 01:03:46 -06:00