From cbd62bb57bcc94e0133c57437488a5af22a0b1c2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 13 Aug 2019 17:34:38 +0200
Subject: Typos

---
 dhall/src/core/thunk.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs
index 38c54f7..c18014e 100644
--- a/dhall/src/core/thunk.rs
+++ b/dhall/src/core/thunk.rs
@@ -49,9 +49,9 @@ pub enum TypedThunk {
     // Any value, along with (optionally) its type
     Untyped(Thunk),
     Typed(Thunk, Box<Type>),
-    // One of the base higher-kinded typed.
+    // One of the base higher-kinded types.
     // Used to avoid storing the same tower ot Type->Kind->Sort
-    // over and over again. Also enables having Sort as a type
+    // over and over again. Also enables having Sort as a value
     // even though it doesn't itself have a type.
     Const(Const),
 }
-- 
cgit v1.2.3