Pet peeves

From foldr
Jump to: navigation, search
  • Typing "you" is so much work that you rather leave out 2/3 of that word.
  • GADTs without kind signatures.
  • Title-case acronyms.
  • "Abelian" with something not "group". For example: Abelian monoid.
  • Endo is specific to functions, instead of any Category.