diff options
| -rw-r--r-- | index.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/index.html b/index.html index 46c3eee6..e6655520 100644 --- a/index.html +++ b/index.html @@ -172,10 +172,10 @@ layers. <p> The zen of mu: <ul> -<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> +<li>traces, not interfaces +<li>be rewrite-friendly, not backwards-compatible +<li>be easy to port rather than portable +<li>global structure matters more than local hygiene </ul> <p> |