about summary refs log tree commit diff stats
path: root/index.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-07-12 00:11:56 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-07-12 00:11:56 -0700
commitd5d908dda655c791329563522faad42d7e4ee618 (patch)
tree628b8a23e13878c45ef39dfbffb860c676da5304 /index.html
parent9864bdd0792b697d7b03e692ba7f82cf5669c41c (diff)
downloadmu-d5d908dda655c791329563522faad42d7e4ee618.tar.gz
1766
Diffstat (limited to 'index.html')
-rw-r--r--index.html10
1 files changed, 6 insertions, 4 deletions
diff --git a/index.html b/index.html
index 95139e93..9926243c 100644
--- a/index.html
+++ b/index.html
@@ -89,14 +89,16 @@ akin to records, structs or classes.
 layers of indirection to mu data.
 <br/><a href='html/032array.cc.html'>032array.cc</a>: all mu data structures
 are bounds-checked.
-<br/><a href='html/034exclusive_container.cc.html'>034exclusive_container.cc</a>: tagged unions or sum types.
-<br/><a href='html/035call.cc.html'>035call.cc</a>: calls to recipes look
+<br/><a href='html/033exclusive_container.cc.html'>033exclusive_container.cc</a>: tagged unions or sum types.
+<br/><a href='html/034call.cc.html'>034call.cc</a>: calls to recipes look
 just like primitive operations.
-<br/><a href='html/036call_ingredient.cc.html'>036call_ingredient.cc</a>: how
+<br/><a href='html/035call_ingredient.cc.html'>035call_ingredient.cc</a>: how
 recipes pass arguments or 'ingredients' without introducing any syntax and
 breaking the metaphor of recipes as lists of instructions.
-<br/><a href='html/037call_reply.cc.html'>037call_reply.cc</a>: recipes can
+<br/><a href='html/036call_reply.cc.html'>036call_reply.cc</a>: recipes can
 return arbitrary numbers of values to their callers.
+<br/><a href='html/037recipe.cc.html'>037recipe.cc</a>: passing recipes around
+as first-class values in higher-order functions.
 <br/><a href='html/038scheduler.cc.html'>038scheduler.cc</a>: running multiple
 recipes concurrently using <em>routines</em> that might execute in interleaved
 fashion.