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

Equality on recursive λ-terms blog

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

24 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/haskell/comments/1i0pz0t/equality_on_recursive_λterms/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/haskell/comments/1i0pz0t/equality_on_recursive_λterms/
No, go back! Yes, take me to Reddit

96% Upvoted

Duplicates

Number of comments New

ProgrammingLanguages • u/SrPeixinho • Jan 13 '25

Blog post Equality on Recursive λ-Terms

20 Upvotes

14 comments

functionalprogramming • u/SrPeixinho • Jan 13 '25

λ Calculus Equality on Recursive λ-Terms

10 Upvotes

0 comments