From 321dd1f5e26b57f91def44ae73e29b0cfa35841e Mon Sep 17 00:00:00 2001 From: Cai Bingjun <62678643+C-BJ@users.noreply.github.com> Date: Thu, 18 Aug 2022 11:44:34 +0800 Subject: [PATCH] Update README.md --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index b7c019bf..9da85641 100644 --- a/README.md +++ b/README.md @@ -14,8 +14,7 @@ ## Erg can be recommended to a person that: -* uses Python, but wants Rust-like robustness and comfortable compiler support. -* and yet, doesn't need the verbose type specifications & memory management model like Rust. +* uses Python, but wants Rust-like robustness and comfortable compiler support, and yet, doesn't need the verbose type specifications & memory management model like Rust. * wants a simple and consistent language like ML. * wants a practical general-purpose language with dependent/refinement types. * wants a language like Scala that can be used both object-oriented and functional.