Correct spelling of promotable/demotable.

bjornbm / dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

BSD 3-Clause "New" or "Revised" License

102 stars 16 forks source link

Correct spelling of promotable/demotable. #153

Closed bjornbm closed 8 years ago

bjornbm commented 8 years ago

It appears that this is the correct spelling. Contrast to "typeable" which is a recognized variant of "typable". If accepted manual.tex will also need a search and replace.

dmcclean commented 8 years ago

Nice catch. I didn't look it up, I just guessed.