6 commits

Author	SHA1	Message	Date
Mark Randall Havens	6f252b6c0c	updated readme with git repos at bottom	2025-05-29 15:23:01 -05:00
Mark Randall Havens	37bd1213a7	added first law of recurisve equivalence	2025-05-29 05:51:52 -05:00
Mark Randall Havens	9e925677e7	updated readme	2025-05-29 05:17:12 -05:00
Mark Randall Havens	635170d178	added readme	2025-05-29 04:37:06 -05:00
Mark Randall Havens	e735fd7e85	first commit	2025-05-29 03:35:11 -05:00
Mark Randall Havens	a067d3433f	first commit	2025-05-29 03:32:30 -05:00