- Shortest programs with unknown halting status https://github.com/maiavictor/unknown_halting_status 41 comments haskell
- Small programs with unknown halting status https://github.com/maiavictor/unknown_halting_status 61 comments programming
Linked pages
- Collatz conjecture - Wikipedia https://en.wikipedia.org/wiki/Collatz_conjecture 70 comments
- GitHub - VictorTaelin/Caramel: A modern syntax for the λ-calculus. https://github.com/maiavictor/caramel 58 comments
- Church encoding - Wikipedia http://en.wikipedia.org/wiki/Church_encoding 58 comments
- Binary combinatory logic - Wikipedia https://en.wikipedia.org/wiki/Binary_lambda_calculus 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: GitHub - VictorTaelin/unknown_halting_status: Small programs with unknown halting status.
See how to search.