From b1e8b1b8b69e8fd6e21c4c575e58c5d8090e1c1a Mon Sep 17 00:00:00 2001
From: Michael Zhang <failed.down@gmail.com>
Date: Tue, 20 Feb 2018 14:47:49 -0600
Subject: [PATCH] update readme

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

diff --git a/README.md b/README.md
index 41354d6..42b30a7 100644
--- a/README.md
+++ b/README.md
@@ -2,3 +2,4 @@
 
 Based on Benjamin Pierce's _Types and Programming Languages_
 
+This is an **incorrect** implementation. I've abandoned this version.