From 9b30a0a639f087b7e98712fe899951dbaf99f773 Mon Sep 17 00:00:00 2001 From: davidsarah <> Date: Thu, 1 Jul 2010 02:41:28 +0000 Subject: [PATCH] add lit caps to table [Imported from Trac: page Capabilities, version 9] --- Capabilities.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Capabilities.md b/Capabilities.md index 51452c5..516f80b 100644 --- a/Capabilities.md +++ b/Capabilities.md @@ -33,8 +33,10 @@ derive #2 (but not the other way around). The full table is: write read verify -------------------- #1 -> #2 + #3 #4 -> #5 -> #6 #7 -> #8 + #9 #10 -> #11 -> #12 Deriving a weaker capability from a strong one is called "diminishing" the stronger one.