docs: add and correct comments

anoma · Sep 24, 2024 · 6430113 · 6430113
1 parent 121a69a
commit 6430113
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/Anoma/ProvingSystem/ComplianceProof.juvix b/Anoma/ProvingSystem/ComplianceProof.juvix
@@ -1,4 +1,4 @@
---- An instantiation of a Proving System for Delta proofs.
+--- An instantiation of a proving System for compliance proofs.
 module Anoma.ProvingSystem.ComplianceProof;
 
 import Stdlib.Prelude open using {Bool};

diff --git a/Anoma/ProvingSystem/DeltaProof.juvix b/Anoma/ProvingSystem/DeltaProof.juvix
@@ -1,4 +1,4 @@
---- An instantiation of a Proving System for Delta proofs.
+--- An instantiation of a proving System for delta proofs.
 module Anoma.ProvingSystem.DeltaProof;
 
 import Stdlib.Prelude open using {Bool};

diff --git a/Anoma/ProvingSystem/ResourceLogicProof.juvix b/Anoma/ProvingSystem/ResourceLogicProof.juvix
@@ -1,3 +1,4 @@
+--- An instantiation of a proving System for resource logic proofs.
 module Anoma.ProvingSystem.ResourceLogicProof;
 
 import Stdlib.Prelude open using {Bool};