diff options
author | Nadrieril | 2019-08-13 20:54:15 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 20:54:15 +0200 |
commit | 77af0bbc171618f48531cc6b1d77e18089928885 (patch) | |
tree | 8bac17d4b3f1f1adf5f823708d322876eef6cfee /dhall_syntax/src/core/context.rs | |
parent | 5895c3aa6552f75d7e5202be561f9734fe8945e7 (diff) |
Stop tracking the absence of Embed values at the type level
Diffstat (limited to 'dhall_syntax/src/core/context.rs')
-rw-r--r-- | dhall_syntax/src/core/context.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_syntax/src/core/context.rs b/dhall_syntax/src/core/context.rs index eeec121..6844baa 100644 --- a/dhall_syntax/src/core/context.rs +++ b/dhall_syntax/src/core/context.rs @@ -4,7 +4,7 @@ use std::hash::Hash; /// A `(Context a)` associates `Text` labels with values of type `a` /// -/// The `Context` is used for type-checking when `(a = Expr X)` +/// The `Context` is used for type-checking when `(a = Expr)` /// /// * You create a `Context` using `empty` and `insert` /// * You transform a `Context` using `fmap` |