r/functionalprogramming • u/SrPeixinho • Jan 13 '25

λ Calculus Equality on Recursive λ-Terms

https://gist.github.com/VictorTaelin/1af22e2c87f176da0e5ff8cd3430b04f
• Upvotes

92% Upvoted

0 comments sorted by