articles/0000-oracle-free-terms-are-turing-complete at master · VictorTaelin/articles · GitHub - discu.eu

Reddit

The oracle-free fragment of Lamping's abstract algorithm can evaluate all λ-terms! https://github.com/maiavictor/articles/tree/master/0000-oracle-free-terms-are-turing-complete 7 comments 30/7/2017 haskell

Linked pages

GitHub - VictorTaelin/abstract-algorithm: Optimal evaluator of λ-calculus terms. https://github.com/maiavictor/abstract-algorithm 0 comments

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

Related searches:

Search whole site: site:github.com

Search title: articles/0000-oracle-free-terms-are-turing-complete at master · VictorTaelin/articles · GitHub

See how to search.

Submit link to: