diff options
| -rw-r--r-- | docs/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index 931b706..0f63a7a 100644 --- a/docs/index.html +++ b/docs/index.html @@ -195,6 +195,11 @@ in std/Number/Unary.bruijn:35 >Metaprogramming and self interpretation</a > </li> + <li> + <a href="https://text.marvinborner.de/2024-04-16-10.html" + >Crafting Formulas: Lambdas All the Way Down</a + > + </li> </ul> </div> |