From 20780172666e620275ec4e0268c855fb4aa80a96 Mon Sep 17 00:00:00 2001
From: Victor Maia <victor.taelin@gmail.com>
Date: Wed, 20 Jul 2022 02:16:06 -0300
Subject: [PATCH] Link to Wikind

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 8250d426..5c22617b 100644
--- a/README.md
+++ b/README.md
@@ -48,7 +48,7 @@ Nat.commutes (Succ a) b =
   (Equal.chain e0 e1)
 ```
 
-For more examples, check [/example](/example).
+For more examples, check the [Wikind](https://github.com/kindelia/wikind).
 
 Usage
 -----