3 Commits

Author	SHA1	Message	Date
Scott Richmond	7dab0e0637	closing works, so does importing from Prelude!	2024-12-11 17:22:37 -05:00
Scott Richmond	7a800c7905	all the work trying to write a validator	2024-12-10 16:44:52 -05:00
Scott Richmond	4896987dab	bring in prelude	2024-12-08 23:34:05 -05:00