martyalain
- Karma
- 663
- Created
- April 10, 2016 (10y ago)
- Submissions
- 0
- Is a fibered spacetime a way to go (lambdaway.fr)
- Should lambdascratch be an answer for kids? (lambdaway.fr)
- Divine Recursion (lambdaway.fr)
- Show HN: Nested Expressions and One RegExp (lambdaway.fr)
- About the Roots of Coding (lambdaway.fr)
- ChatGPT and Me about Lambdatalk (lambdaway.fr)
- Que pense ChatGPT d'une Relativité Complexe? (lambdaway.fr)
- Show HN: Un éditeur de texte extensible (lambdaway.fr)
- A pocket calculator using lambdatalk vs. Python (lambdaway.fr)
- A code is a system of transcription rules (lambdaway.fr)
- Looking for Tu (lambdaway.fr)
- Computing Fibonacci(100) at lambda-calculus level (lambdaway.fr)
- Λ-calculus using binary numbers of variable length (lambdaway.fr)
- Lambda_calculus revisited for dummies (like me) (lambdaway.fr)
- Show HN: A text editor with a programming language (lambdaway.free.fr)
- Show HN: Lambda-Calculus at a Glance (lambdaway.free.fr)
-
I'm going in circles: http://lambdaway.free.fr/lambdawalks/ http://lambdaway.free.fr/lambdawalks/?view=concepts http://lambdaway.free.fr/lambdawalks/?view=divine_recursion…
- Coding: A simple but not simplistic approach (lambdaway.free.fr)
- A code is a system of transcription rules (lambdaway.free.fr)
- Basic programming concepts using text-rewriting (lambdaway.free.fr)
- Lifting Lambdas into Supercombinators (lambdaway.free.fr)
- A few coding concepts from scratch (lambdaway.free.fr)
- A Side Glance at λ-Calculus (lambdaway.free.fr)