Correct minor spelling mistakes

This commit is contained in:
Kevin Sjöberg 2021-11-06 15:29:08 +01:00
parent f37853f688
commit f6d055dc62
39 changed files with 63 additions and 63 deletions

View file

@ -20,7 +20,7 @@ pub struct Annotation {
pub struct IntroducedVariables {
// NOTE on rigids
//
// Rigids must be unique within a type annoation.
// Rigids must be unique within a type annotation.
// E.g. in `identity : a -> a`, there should only be one
// variable (a rigid one, with name "a").
// Hence `rigids : ImMap<Lowercase, Variable>`