fix: Typo `α` -> `a` in `type_classes.md`. - Githubissues

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

https://leanprover.github.io/theorem_proving_in_lean4/

Apache License 2.0

164 stars 92 forks source link

fix: Typo `α` -> `a` in `type_classes.md`. #35

Closed langfield closed 2 years ago

langfield commented 2 years ago

Should be consistent with surrounding code blocks.