span class="module"><a href="Format.html">Format</a></span> Formatting the output of the interpreter</li><li><span class="module"><a href="Interpreter.html">Interpreter</a></span> Internal logic of the interpreter</li><li><span class="module"><a href="Lambda.html">Lambda</a></span> DeBruijn lambda expressions.</li><li><span class="module"><a href="Libraries.html">Libraries</a></span></li><li><span class="module"><a href="Main.html">Main</a></span></li><li><span class="module"><a href="MultiBimap.html">Multi