Equality on Recursive λ-Terms · GitHub - discu.eu

Reddit

Equality on Recursive λ-Terms https://gist.github.com/VictorTaelin/1af22e2c87f176da0e5ff8cd3430b04f 14 comments 13/1/2025 programminglanguages

Equality on recursive λ-terms https://gist.github.com/VictorTaelin/1af22e2c87f176da0e5ff8cd3430b04f 18 comments 13/1/2025 haskell

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:gist.github.com

Search title: Equality on Recursive λ-Terms · GitHub

See how to search.

Submit link to: