Linking pages
- LambdaLisp - A Lisp Interpreter That Runs on Lambda Calculus | Woodrush’s Blog https://woodrush.github.io/blog/lambdalisp.html 116 comments
- GitHub - VictorTaelin/Caramel: A modern syntax for the λ-calculus. https://github.com/maiavictor/caramel 58 comments
- A circuit-like notation for lambda calculus – csvoss.com https://csvoss.com/circuit-notation-lambda-calculus 42 comments
- How to implement dependent types in 80 lines of code · GitHub https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 33 comments
- The Programmer's Ring http://loup-vaillant.fr/articles/programming-ring 12 comments
- Dealing with strings in Julia, patterns and anti-patterns - Julia Community 🟣 https://forem.julialang.org/juliapbn/dealing-with-strings-in-julia-patterns-and-anti-patterns-170n 6 comments
- Parsing the untyped λ-calculus with Parsec http://mattwetmore.me/posts/parsing-combinators-with-parser-combinators.html 6 comments
- The smallest lambda interpreter in JavaScript – m1el – Byte Juggling http://m1el.github.io/smallest-lambda-eval/ 6 comments
- higher-order-unification/explanation.md at master · jozefg/higher-order-unification · GitHub https://github.com/jozefg/higher-order-unification/blob/master/explanation.md 5 comments
- Turning bottom-up into top-down with Reverse State - ielliott.io http://blog.ielliott.io/topsy-turvy-reverse-state/ 3 comments
- Emulating the Lambda Calculus in TypeScript's Type System https://ayazhafiz.com/articles/21/typescript-type-system-lambda-calculus 2 comments
- Kwang's Haskell Blog - Continuation Passing Style Interpreter https://kseo.github.io/posts/2017-01-09-continuation-passing-style-interpreter.html 1 comment
- A Seriously Slow Fibonacci Function - OranLooney.com http://www.oranlooney.com/post/slow-fibonacci/ 0 comments
- higher-order-unification/explanation.md at 21382f44205aa3d8b115fe2b2eba47489da4b492 · jozefg/higher-order-unification · GitHub https://github.com/jozefg/higher-order-unification/blob/21382f44205aa3d8b115fe2b2eba47489da4b492/explanation.md 0 comments
- Tensors and Graphs: Canonization by Search | Hey There Buddo! https://www.philipzucker.com/canon_search/ 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: de Bruijn index - Wikipedia
See how to search.