Commit Graph

57 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 39d9d3ac0f added new varient paper 2025-05-29 04:25:16 -05:00
mrhavens efb37309e1 added content 2025-05-29 04:02:35 -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