@@ -469,7 +469,7 @@ deriving instance NFData Raw
469-- The type parameter `b` will normally be something like `TT Name` or just
469-- The type parameter `b` will normally be something like `TT Name` or just
470-- `Raw`. We do not make a type-level distinction between TT terms that happen
470-- `Raw`. We do not make a type-level distinction between TT terms that happen
471-- to be TT types and TT terms that are not TT types.
471-- to be TT types and TT terms that are not TT types.
472−-- | All binding forms are represented in a unform fashion.
472+-- | All binding forms are represented in a uniform fashion.
473data Binder b = Lam { binderTy :: b {-^ type annotation for bound variable-}}
473data Binder b = Lam { binderTy :: b {-^ type annotation for bound variable-}}
474 | Pi { binderTy :: b }
474 | Pi { binderTy :: b }
475 | Let { binderTy :: b,
475 | Let { binderTy :: b,