Fix typo in comments

agda · Feb 7, 2019 · 8da80e3 · 8da80e3
1 parent ae01559
commit 8da80e3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Cubical/Codata/Conat/Properties.agda b/Cubical/Codata/Conat/Properties.agda
@@ -6,14 +6,14 @@ This file defines operations and properties on conatural numbers:
 
 - Proof that ∞ + 1 is equivalent to ∞.
 
-- Proof that conatrual is an hSet.
+- Proof that conatural is an hSet.
 
 - Bisimulation on conatural
 
 - Proof that bisimulation is equivalent to equivalence (Coinductive Proof
   Principle).
 
-The standard library also defines bisimulation on conatruals:
+The standard library also defines bisimulation on conaturals:
 
 https://github.com/agda/agda-stdlib/blob/master/src/Codata/Conat/Bisimilarity.agda
 -}