Commit 68fed70f authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'master' into 'master'

Added naming conventions for definitions to naming.txt

See merge request FP/iris-coq!152
parents 061e8d6a 64a378b9
------------------ Naming conventions for variables/arguments/hypotheses in the Coq development ------------------
== small letters ==
a : A : cmraT or cofeT
b : B : cmraT or cofeT
......@@ -63,3 +65,14 @@ Z : sets
== capital greek letters ==
Φ : general predicate (over uPred, iProp or Prop)
Ψ : general predicate (over uPred, iProp or Prop)
------------------ Naming conventions for definitions in the Coq development ------------------
== Postfixes (may be combined) ==
R: resource algebras and cameras
F: functors
UR: unital cameras or resources algebras
T: canonical structurs with extra algebraic structure (for example ofeT for OFEs, cmraT for cameras)
G: global camera functor management
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment