Fix link

mx00s · Jan 18, 2022 · de79c0d · de79c0d
1 parent 2c2edde
commit de79c0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/README.md b/examples/README.md
@@ -1,6 +1,6 @@
 Examples are ported from [_Type-Driven Development with Idris_](https://www.manning.com/books/type-driven-development-with-idris) by Edwin Brady.
 
-# [`door`](./examples/door.rs)
+# [`door`](./door.rs)
 
 Simple state machine with two states, `Opened` and `Closed`.