3 commits

Author	SHA1	Message	Date
William Ball	0c004688c7	made preprocessor not reinclude files multiple times	2024-11-29 20:39:42 -08:00
William Ball	5234f43194	port to relude + a lot of cleanup	2024-11-22 19:44:31 -08:00
William Ball	75ab0a1a41	improved beta-equivalence, added preprocessor	2024-11-22 10:36:51 -08:00