5 Commits

Author	SHA1	Message	Date
mrhavens	37bd1213a7	added first law of recurisve equivalence	2025-05-29 05:51:52 -05:00
mrhavens	9e925677e7	updated readme	2025-05-29 05:17:12 -05:00
mrhavens	635170d178	added readme	2025-05-29 04:37:06 -05:00
mrhavens	e735fd7e85	first commit	2025-05-29 03:35:11 -05:00
mrhavens	a067d3433f	first commit	2025-05-29 03:32:30 -05:00