From 9907fff3139395846490c54fd9f04eb46df4b811 Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 18:53:02 +0100
Subject: Tweak output files

---
 doc/Tutorial.html | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 doc/Tutorial.html

(limited to 'doc/Tutorial.html')

diff --git a/doc/Tutorial.html b/doc/Tutorial.html
new file mode 100644
index 0000000..5aacc5f
--- /dev/null
+++ b/doc/Tutorial.html
@@ -0,0 +1,39 @@
+<style>
+.IdrisData {
+  color: darkred
+}
+.IdrisType {
+  color: blue
+}
+.IdrisBound {
+  color: black
+}
+.IdrisFunction {
+  color: darkgreen
+}
+.IdrisKeyword {
+  font-weight: bold;
+}
+.IdrisComment {
+  color: #b22222
+}
+.IdrisNamespace {
+  font-style: italic;
+  color: black
+}
+.IdrisPostulate {
+  font-weight: bold;
+  color: red
+}
+.IdrisModule {
+  font-style: italic;
+  color: black
+}
+.IdrisCode {
+  display: block;
+  background-color: whitesmoke;
+}
+</style>
+<h1 id="tutorial-setoids">Tutorial: setoids</h1>
+<p>A <em>setoid</em> is a type equipped with an equivalence relation</p>
+<p><code class="IdrisCode"> <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></p>
-- 
cgit v1.2.3