From bc260cdfa7b309820594b7caf14f62be8343358e Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 19:08:32 +0100
Subject: Switch to HTML only

---
 doc/Tutorial.md | 46 ----------------------------------------------
 1 file changed, 46 deletions(-)
 delete mode 100644 doc/Tutorial.md

(limited to 'doc/Tutorial.md')

diff --git a/doc/Tutorial.md b/doc/Tutorial.md
deleted file mode 100644
index 8d9d9ff..0000000
--- a/doc/Tutorial.md
+++ /dev/null
@@ -1,46 +0,0 @@
-<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>
-# Tutorial: setoids
-A _setoid_ is a type equipped with an equivalence relation
-
-
-
-<code class="IdrisCode">
-<span class="IdrisFunction">Example1</span>&nbsp;<span class="IdrisKeyword">:</span>&nbsp;<span class="IdrisType">Nat</span><br />
-<span class="IdrisFunction">Example1</span>&nbsp;<span class="IdrisKeyword">=</span>&nbsp;<span class="IdrisData">0</span><br />
-</code>
-
-- 
cgit v1.2.3