/footer>

    <!-- Bootstrap core JavaScript
    ================================================== -->
     <!-- Placed at the end of the document so the pages load faster -->
    <script src="./assets/js/bootstrap.min.js"></script>
    <script type="application/json" src="./assets/js/bootstrap.min.js.map"></script>
    <script src="./assets/js/mircomp.js"></script>
    <script src="./assets/js/highlight.min.js"></script>
    <script src="./assets/js/clojure.min.js"></script>
    <script src="./assets/js/j