Update README.md

NoRedInk · May 18, 2023 · 41c2f85 · 41c2f85
1 parent 73d96dc
commit 41c2f85
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,3 +1,6 @@
+# UNDER CONSTRUCTION 🚧
+
+
 # Haskell-Verify-Examples
 
 Verify examples in your docs.
@@ -83,4 +86,4 @@ Ok [(VerifiedExample (SrcSpan "/private/tmp/DocModule8657-26.hs" 10 1 10 13) ["x
 ## Development
 
 1. `$ direnv allow`
-1. `$ make watch`
+1. `$ make watch`