From 563c9c1b0e8c783c0d77227b8d2be743a979816f Mon Sep 17 00:00:00 2001 From: Federico Carrone Date: Sat, 6 Jan 2024 23:57:39 -0300 Subject: [PATCH] Update README.md --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index b6e2c6e..bc585ff 100644 --- 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