From efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 18:23:04 +0100
Subject: Initial version

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

(limited to 'doc/Tutorial.md')

diff --git a/doc/Tutorial.md b/doc/Tutorial.md
new file mode 100644
index 0000000..20678f2
--- /dev/null
+++ b/doc/Tutorial.md
@@ -0,0 +1,46 @@
+<style>
+.IdrisData {
+  color: darkred
+}
+.IdrisType {
+  color: blue
+}
+.IdrisBound {
+  color: black
+}
+.IdrisFunction {
+  color: darkgreen
+}
+.IdrisKeyword {
+  text-decoration: underline;
+}
+.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>
+# Tutorial: setoids
+A _setoid_ is a type equipped with an equivalence relation
+
+
+
+<code class="IdrisCode">
+<span class="IdrisFunction">F</span>&nbsp;<span class="IdrisKeyword">:</span>&nbsp;<span class="IdrisType">Nat</span><br />
+<span class="IdrisFunction">F</span>&nbsp;<span class="IdrisKeyword">=</span>&nbsp;<span class="IdrisData">0</span><br />
+</code>
+
-- 
cgit v1.2.3