diff options
| -rw-r--r-- | docs/index.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index 1d0306f..71303b6 100644 --- a/docs/index.html +++ b/docs/index.html @@ -123,6 +123,15 @@ in std/Number/Unary.bruijn:35 </ul> </div> + <div class="instructions"> + <h1>Articles</h1> + <ul> + <!-- feel free to add your own --> + <li><a href="https://text.marvinborner.de/2023-04-06-01.html">The bruijn programming language</a></li> + <li><a href="https://text.marvinborner.de/2023-04-07-01.html">Data structures in pure lambda calculus</a></li> + </ul> + </div> + <div class="bar big"> Standard library: <a href="std/">Docs</a> </div> |