jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3<head>
4 <title>notebook.mld</title>
5 <meta charset="utf-8" />
6 <link rel="stylesheet" href="/assets/odoc.css" />
7 <link rel="stylesheet" href="/assets/odoc-notebook.css" />
8 <meta name="generator" content="odoc-notebook ab3675e" />
9 <meta name="viewport" content=
10 "width=device-width,initial-scale=1.0" />
11 <link rel="stylesheet" href="/assets/katex.min.css" />
12 <script src="/assets/katex.min.js"></script>
13 <script>
14 //<![CDATA[
15
16 document.addEventListener("DOMContentLoaded", function () {
17 var elements = Array.from(document.getElementsByClassName("odoc-katex-math"));
18 for (var i = 0; i < elements.length; i++) {
19 var el = elements[i];
20 var content = el.textContent;
21 var new_el = document.createElement("span");
22 new_el.setAttribute("class", "odoc-katex-math-rendered");
23 var display = el.classList.contains("display");
24 katex.render(content, new_el, { throwOnError: false, displayMode: display });
25 el.replaceWith(new_el);
26 }
27 });
28
29//]]>
30</script>
31</head>
32<body class="odoc">
33 <nav class="odoc-nav"><a href="../index.html">Up</a> - notebooks</nav>
34 <header class="odoc-preamble"><section id="section-odoc-notebook"><h1 id="odoc-notebook"><a href="#odoc-notebook" class="anchor"></a>Odoc Notebook</h1></section><p>Here's an odoc notebook with some code snippets in it.</p><div><pre class="language-ocamltop"><code># let rec fib x =
35 match x with
36 | 0 -> 1
37 | 1 -> 1
38 | n -> fib (n-1) + fib (n-2);;
39 val fib : int -> int = <fun></code></pre><div class="odoc-src-output"></div></div><p>Here's some more text.</p><div><pre class="language-ocamltop"><code># fib 10;;
40 - : int = 89</code></pre><div class="odoc-src-output"></div></div></header>
41 <div class="odoc-tocs">
42 <nav class="odoc-toc odoc-global-toc"><ul><li><a href="/notebook.html">Odoc Notebook</a></li></ul></nav>
43 </div>
44 <div class="odoc-content"></div>
45
46</body>
47</html>