Fixed typo in README/README.md.

gfour · Dec 18, 2013 · 6c3dbbd · 6c3dbbd
1 parent f6ca716
commit 6c3dbbd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README b/README
@@ -7,7 +7,7 @@ modular polymorphic defunctionalization. Under development, version 0.10.
 Features:
 
 * Separate module compilation.
-* Parametric polymorphicm, GADTs.
+* Parametric polymorphism, GADTs.
 * A dataflow interpreter.
 * A compiler to the rewriting logic of Maude.
 

diff --git a/README.md b/README.md
@@ -7,7 +7,7 @@ modular polymorphic defunctionalization. Under development, version 0.10.
 Features:
 
 * Separate module compilation.
-* Parametric polymorphicm, GADTs.
+* Parametric polymorphism, GADTs.
 * A dataflow interpreter.
 * A compiler to the rewriting logic of Maude.