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/sources/Tutorial.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 doc/sources/Tutorial.md

(limited to 'doc/sources')

diff --git a/doc/sources/Tutorial.md b/doc/sources/Tutorial.md
new file mode 100644
index 0000000..dc7dc71
--- /dev/null
+++ b/doc/sources/Tutorial.md
@@ -0,0 +1,11 @@
+# Tutorial: setoids
+A _setoid_ is a type equipped with an equivalence relation
+
+```idris hide
+module Tutorial
+```
+
+```idris
+Example1 : Nat
+Example1 = 0
+```
-- 
cgit v1.2.3