diff options
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> |