update readme

PL-ML · Dec 8, 2021 · b1711b8 · b1711b8
1 parent ddc4b18
commit b1711b8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,5 +1,6 @@
-# NanoML: a simple OCaml parser and type checker in Haskell
+# Nanomaly $\approx$ NanoML
 
+A simple OCaml parsera and (static + dynamic) type checker in Haskell
 
 ## Compile and run