| | Λ-Calculus (Revisited for Dummies) (lambdaway.free.fr) |
| 2 points by martyalain on Nov 11, 2021 | past |
|
| | Funny things with x:= λw.x w (lambdaway.free.fr) |
| 4 points by martyalain on Nov 9, 2021 | past |
|
| | Λ-calculus using binary numbers of variable length (lambdaway.free.fr) |
| 2 points by martyalain on Oct 31, 2021 | past |
|
| | Scheme, Back to λ-Calculus (lambdaway.free.fr) |
| 3 points by martyalain on Oct 29, 2021 | past |
|
| | Λ-Calculus with and Without Closures (lambdaway.free.fr) |
| 1 point by martyalain on Oct 21, 2021 | past | 1 comment |
|
| | Adding two binary numbers of any size (lambdaway.free.fr) |
| 1 point by martyalain on Sept 19, 2021 | past |
|
| | Rewriting as Computation (lambdaway.free.fr) |
| 1 point by martyalain on Sept 10, 2021 | past |
|
| | Λ-Calculus and the Towers of Hanoï (lambdaway.free.fr) |
| 1 point by martyalain on Sept 5, 2021 | past | 1 comment |
|
| | Coding with IIFEs (lambdaway.free.fr) |
| 1 point by martyalain on Aug 31, 2021 | past |
|
| | Lisp Is My Friend (lambdaway.free.fr) |
| 1 point by martyalain on Aug 20, 2021 | past |
|
| | From λ-calculus to a programmable text editor (lambdaway.free.fr) |
| 2 points by martyalain on July 26, 2021 | past |
|
| | Show HN: Lambdatalk with Closures Inside (lambdaway.free.fr) |
| 1 point by martyalain on July 18, 2021 | past |
|
| | Is there a life out of closures? (lambdaway.free.fr) |
| 2 points by martyalain on June 23, 2021 | past | 4 comments |
|
| | Coding is a matter of text rewriting (lambdaway.free.fr) |
| 3 points by martyalain on June 6, 2021 | past |
|
| | No Future? (lambdaway.free.fr) |
| 1 point by martyalain on May 29, 2021 | past |
|
| | Show HN: Coding is a matter of text replacement (lambdaway.free.fr) |
| 1 point by martyalain on May 16, 2021 | past |
|
| | Show HN: Fun Calc) (lambdaway.free.fr) |
| 3 points by martyalain on Dec 5, 2020 | past | 1 comment |
|
| | Show HN: Un carnet de notes pour le web (lambdaway.free.fr) |
| 2 points by martyalain on Nov 22, 2020 | past |
|
| | 3D Curves in a Wiki (lambdaway.free.fr) |
| 1 point by martyalain on Nov 22, 2020 | past |
|
| | Show HN: Sketching a 3D modeler in a web browser (lambdaway.free.fr) |
| 2 points by martyalain on Nov 19, 2020 | past | 1 comment |
|
| | Show HN: Another small universal Turing machine (lambdaway.free.fr) |
| 3 points by martyalain on Oct 22, 2020 | past | 2 comments |
|
| | Show HN: How to compute a factorial with λ calculus in a post card (lambdaway.free.fr) |
| 3 points by martyalain on Oct 2, 2020 | past |
|
| | Show HN: Formes Pascaliennes (lambdaway.free.fr) |
| 1 point by martyalain on Sept 26, 2020 | past | 1 comment |
|
| | Show HN: Lambdas 4 Minions (lambdaway.free.fr) |
| 2 points by martyalain on Aug 27, 2020 | past |
|
| | Is This a Turing Machine? (lambdaway.free.fr) |
| 39 points by martyalain on July 2, 2020 | past | 16 comments |
|
| | From Roots to Canopy (lambdaway.free.fr) |
| 1 point by martyalain on March 12, 2020 | past |
|
| | Show HN: Calculus Revisited (lambdaway.free.fr) |
| 2 points by martyalain on Feb 3, 2020 | past | 1 comment |
|
| | Show HN: Merry Xmas (lambdaway.free.fr) |
| 1 point by martyalain on Dec 25, 2019 | past |
|
| | Show HN: There is a life without closure (lambdaway.free.fr) |
| 4 points by martyalain on Dec 20, 2019 | past |
|
| | Show HN: Words,Sentences and Arrays (lambdaway.free.fr) |
| 6 points by martyalain on Dec 5, 2019 | past | 1 comment |
|
|
| More |
