From b741c3e4befeae9b22ad6178f7f369a5c003334b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 4 Jul 2016 12:13:49 -0700 Subject: 3099 --- Readme.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Readme.md') diff --git a/Readme.md b/Readme.md index 91a26e20..2057ad96 100644 --- a/Readme.md +++ b/Readme.md @@ -73,7 +73,9 @@ continuations and lisp-like macros. High level languages today seem to provide three kinds of benefits: expressiveness (e.g. nested expressions, classes), safety (e.g. type checking) and automation (e.g. garbage collection). An idealized assembly language gives -up some expressiveness, but doesn't seem to affect the other benefits. +up some expressiveness, but doesn't seem to affect the other benefits. So far +Mu provides strong memory safety, lexical scope, generics, higher-order +functions and safe concurrency. *Taking Mu for a spin* -- cgit 1.4.1-2-gfad0