diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 18 |
1 files changed, 5 insertions, 13 deletions
diff --git a/docs/index.html b/docs/index.html index 3303ffc..deb1d92 100644 --- a/docs/index.html +++ b/docs/index.html @@ -56,7 +56,7 @@ <div class="example"> <p> Substantial standard library.<br> - <a href="std/">Docs</a> + <a href="std/">Source</a> </p> <pre class="code"> <span class="repl">></span> <span class="mixfix">∏</span> <span class="ternary">(+1)</span> <span class="mixfix">→</span> <span class="ternary">(+3)</span> <span class="mixfix">|</span> <span class="symbol">++‣</span> @@ -80,7 +80,7 @@ hello world!</pre> </div> <div class="bar big"> - Learn more: <a href="https://github.com/marvinborner/bruijn">GitHub</a> + Learn more: <a href="wiki/">Wiki</a>, <a href="std/">Std</a> </div> <div class="instructions"> @@ -104,16 +104,6 @@ in std/Number/Unary.bruijn:35 </div> <div class="instructions"> - <h1>Syntax highlighting</h1> - <ol> - <li>Use vim and vim-plug</li> - <li>Add "Plug 'marvinborner/bruijn', { 'rtp': 'editors/vim' }" to your .vimrc</li> - <li>Run :PlugInstall</li> - </ol> - Learn more: <a href="https://github.com/marvinborner/bruijn/tree/main/editors">GitHub</a> - </div> - - <div class="instructions"> <h1>Why?</h1> <ul> <li>Compiled binary lambda calculus is incredibly expressive and tiny. Read the articles by <a href="https://justine.lol/lambda/#why">Justine</a> and <a href="https://tromp.github.io/cl/cl.html">Tromp</a>.</li> @@ -130,11 +120,13 @@ in std/Number/Unary.bruijn:35 <!-- 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> + <li><a href="https://text.marvinborner.de/2023-06-18-15.html">Variadic fixed-point combinators</a></li> + <li><a href="https://text.marvinborner.de/2023-09-03-21.html">Homoiconic self interpretation of lambda calculus</a></li> </ul> </div> <div class="bar big"> - Standard library: <a href="std/">Docs</a> + Open-source: <a href="https://github.com/marvinborner/bruijn">GitHub</a> </div> <script src="script.js" charset="utf-8"></script> |