From 96242aaf27d86a22459506f1da8c66a274b0491c Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Tue, 6 Aug 2019 12:16:42 +0200
Subject: [PATCH] Document more naming conventions

Examples for I and SI: uPredI, uPredSI, iPropI, iPropSI.
---
 StyleGuide.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/StyleGuide.md b/StyleGuide.md
index 04b23b7f4..f6bae4b6c 100644
--- a/StyleGuide.md
+++ b/StyleGuide.md
@@ -114,5 +114,8 @@ is used by clients.
 * R: cameras
 * UR: unital cameras or resources algebras
 * F: functors (can be combined with all of the above, e.g. OF is an OFE functor)
-* G: global camera functor management
+* G: global camera functor management (typeclass; see `ProofGuide.md`)
+* I: bunched implication logic (of type `bi`)
+* SI: step-indexed bunched implication logic (of type `sbi`)
 * T: canonical structures for algebraic classes (for example ofeT for OFEs, cmraT for cameras)
+* Σ: global camera functor management (`gFunctors`; see `ProofGuide.md`)
-- 
GitLab