diff --git a/README.md b/README.md
index e48b094..c5deced 100644
--- a/README.md
+++ b/README.md
@@ -2,3 +2,4 @@
 Implementation of Gowers & Ganesalingam theorem prover in Lean.
 
 See https://arxiv.org/pdf/1309.4501.pdf for a description.
+The original implementation in Haskell: https://github.com/EdAyers/Robotone