diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-08-20 10:24:51 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-08-20 10:24:51 -0700 |
| commit | aa42c8646ac87ec4c0a41b09b6153a73d12688ed (patch) | |
| tree | 4095e323fae2998c6051f29e02c8a18d5f4b035d /index.html | |
| parent | c5e4a41aa590f355ce4b6b9f0beb6936526d9e1e (diff) | |
| download | mu-aa42c8646ac87ec4c0a41b09b6153a73d12688ed.tar.gz | |
3975
Diffstat (limited to 'index.html')
| -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 |