diff --git a/README.md b/README.md
index 8e27b560..3b070e05 100644
--- a/README.md
+++ b/README.md
@@ -43,6 +43,8 @@ val runtime = 1d
 log(runtime) //Either[IllegalValueError[Double], Double] (Refined[Double])
 ```
 
+More information on [the wiki](https://github.com/Iltotore/iron/wiki/Constraint-Usage).
+
 ### Minimal overhead
 
 When evaluated at compile time, almost all traces of type constraint disappear. They desugar directly to a Right