Use `rhs` consistently in comments (`03-holes/Main.hs`) - Githubissues

AndrasKovacs / elaboration-zoo

Minimal implementations for dependent type checking and elaboration

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

600 stars 34 forks source link

Use `rhs` consistently in comments (`03-holes/Main.hs`) #37

Closed Hirrolot closed 9 months ago