diff options
author | Nadrieril | 2019-08-13 17:34:38 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 17:34:38 +0200 |
commit | cbd62bb57bcc94e0133c57437488a5af22a0b1c2 (patch) | |
tree | 49d1a2886bc1cdaec768efa57449d2a61c025eb9 /dhall | |
parent | fb0120dffe8e9552c3da7b994ad850f66dc612a3 (diff) |
Typos
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/src/core/thunk.rs | 4 |
1 files 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), } |