diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-12-15 14:32:47 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-12-15 14:32:47 -0800 |
| commit | 67db19a05335c7fbea3ad6737303c8848fd39e74 (patch) | |
| tree | 00d9585bf4de231254867d8c7515386934bb3d3f /index.html | |
| parent | 62a390ca0a27daa80ce4b6b17934d8d067db8631 (diff) | |
| download | mu-67db19a05335c7fbea3ad6737303c8848fd39e74.tar.gz | |
2545
update html
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/index.html b/index.html index e498b82f..aed791b6 100644 --- a/index.html +++ b/index.html @@ -156,6 +156,8 @@ a new syntax for wildcard <em>type ingredients</em> in containers; and finally support for type ingredients in recipes. Everytime you call a shape-shifting recipe with a new set of types for its type ingredients, it creates a new variant of the recipe for you matching those types. +<br/><a href='html/060immutable.cc.html'>060immutable.cc</a>, a static analysis to +ensure that recipes never modify anything but their products. <p/><a href='html/998check_type_pointers.cc.html'>998check_type_pointers.cc.html</a>: After all our messing about with types, a final pass to make sure we didn't introduce any invalid types. |