From 67db19a05335c7fbea3ad6737303c8848fd39e74 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 15 Dec 2015 14:32:47 -0800
Subject: 2545

update html
---
 index.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'index.html')

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.
-- 
cgit 1.4.1-2-gfad0