diff options
| author | Ohad Kammar <ohad.kammar@ed.ac.uk> | 2022-08-07 18:53:02 +0100 |
|---|---|---|
| committer | Ohad Kammar <ohad.kammar@ed.ac.uk> | 2022-08-07 18:53:02 +0100 |
| commit | 9907fff3139395846490c54fd9f04eb46df4b811 (patch) | |
| tree | 5aaddeb9e218e0beb1a67eb999546da240a7ce73 /doc/Tutorial.md | |
| parent | efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa (diff) | |
Tweak output files
Diffstat (limited to 'doc/Tutorial.md')
| -rw-r--r-- | doc/Tutorial.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/Tutorial.md b/doc/Tutorial.md index 20678f2..8d9d9ff 100644 --- a/doc/Tutorial.md +++ b/doc/Tutorial.md @@ -12,7 +12,7 @@ color: darkgreen } .IdrisKeyword { - text-decoration: underline; + font-weight: bold; } .IdrisComment { color: #b22222 @@ -40,7 +40,7 @@ A _setoid_ is a type equipped with an equivalence relation <code class="IdrisCode"> -<span class="IdrisFunction">F</span> <span class="IdrisKeyword">:</span> <span class="IdrisType">Nat</span><br /> -<span class="IdrisFunction">F</span> <span class="IdrisKeyword">=</span> <span class="IdrisData">0</span><br /> +<span class="IdrisFunction">Example1</span> <span class="IdrisKeyword">:</span> <span class="IdrisType">Nat</span><br /> +<span class="IdrisFunction">Example1</span> <span class="IdrisKeyword">=</span> <span class="IdrisData">0</span><br /> </code> |