Update README.md

lambdaclass · Jan 7, 2024 · 563c9c1 · 563c9c1
1 parent 925689f
commit 563c9c1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -105,7 +105,6 @@ But we want to take a different path with respect to:
 - No preprocessor, no macros
 - No type inference, type information flows in one direction
 - No implicit type conversions
-- No subtyping
 - No reflection
 - No function overloading (except through typeclasses, where it is bounded)
 - No uninitialized variables