diff options
| -rw-r--r-- | index.html | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/index.html b/index.html index 98df9a9e..be4e0bf5 100644 --- a/index.html +++ b/index.html @@ -185,12 +185,7 @@ Chaining spaces together to accomodate variables with varying lifetimes and ownership properties. <br/><a href='html/045closure_name.cc.html'>045closure_name.cc</a>: how spaces can implement lexical scope. -<br/><a href='html/046global.cc.html'>046global.cc</a>: experimental support -for 'global' variables that are always available inside a single routine. Mu -has no variables that are available transparently across routines, and this -might go away as well. Global variables are currently not checked as -rigorously as the rest of the type system. -<br/><a href='html/047check_type_by_name.cc.html'>047check_type_by_name.cc</a>: +<br/><a href='html/046check_type_by_name.cc.html'>046check_type_by_name.cc</a>: a transform to deduce missing types in instructions on the basis of previous instructions in the same function. <br/><a href='html/050scenario.cc.html'>050scenario.cc</a>: Mu's first syntax |