@@ -469,7 +469,7 @@ deriving instance NFData Raw
469469-- The type parameter `b` will normally be something like `TT Name` or just
470470-- `Raw`. We do not make a type-level distinction between TT terms that happen
471471-- 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.
473473data Binder b = Lam { binderTy :: b {-^ type annotation for bound variable-}}
474474 | Pi { binderTy :: b }
475475 | Let { binderTy :: b,