doc/sources/Tutorial.md


1
2
3
4
5
6
7
8
9
10
11

# Tutorial: setoids
A _setoid_ is a type equipped with an equivalence relation

```idris hide
module Tutorial
```

```idris
Example1 : Nat
Example1 = 0
```