ndex.html">Home page</a></li>
            <li><a href="/LambdaCalc/operationalSemantics.html">Operational Semantics</a></li>
            <li><a href="/LambdaCalc/unitTests.html">Unit Tests</a></li>
            <li class="divider"></li>
            <li><a href="http://nuget.org/packages/LambdaCalc">Get Library via NuGet</a></li>
            <li><a href="https://github.com/jackfoxy/LambdaCalc">Source Code on GitHub</a></li>
            <li><a href="/LambdaCalc/license.html">License</a></li>
            <li><a