From acbaddd8f0f8c7adbd0c2485b43a691bea4b70e1 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 11 Jun 2019 22:32:39 +0200
Subject: [PATCH] Update `StyleGuide.md`.

---
 StyleGuide.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/StyleGuide.md b/StyleGuide.md
index 56d55f39e..9665f3fe0 100644
--- a/StyleGuide.md
+++ b/StyleGuide.md
@@ -36,8 +36,8 @@ is used by clients.
 
 ### small letters
 
-* a : A = cmraT or cofeT
-* b : B = cmraT or cofeT
+* a : A = cmraT or ofeT
+* b : B = cmraT or ofeT
 * c
 * d
 * e : expr = expressions
@@ -67,8 +67,8 @@ is used by clients.
 
 ### capital letters
 
-* A : Type, cmraT or cofeT
-* B : Type, cmraT or cofeT
+* A : Type, cmraT or ofeT
+* B : Type, cmraT or ofeT
 * C
 * D   
 * E : coPset = Viewshift masks
@@ -110,9 +110,9 @@ is used by clients.
 
 ### Suffixes
 
-* C: OFEs
+* O: OFEs
 * R: cameras
 * UR: unital cameras or resources algebras
-* F: functors (can be combined with all of the above, e.g. CF is an OFE functor)
+* F: functors (can be combined with all of the above, e.g. OF is an OFE functor)
 * G: global camera functor management
 * T: canonical structurs for algebraic classes (for example ofeT for OFEs, cmraT for cameras)
-- 
GitLab