diff options
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/index.html b/index.html index 2c65580b..fa3ab2ee 100644 --- a/index.html +++ b/index.html @@ -11,12 +11,12 @@ <p> <a href='http://github.com/akkartik/mu#readme'>Overview of the solution</a>. -In brief: +The zen of mu: <ul> -<li>traces over interfaces</li> -<li>rewrite-friendly not backwards-compatible</li> -<li>easy to port rather than portable</li> -<li>global understanding over local hygiene</li> +<li>traces, not interfaces</li> +<li>be rewrite-friendly, not backwards-compatible</li> +<li>be easy to port rather than portable</li> +<li>global structure matters more than local hygiene</li> </ul> <p> |