Fix typo in poly-instantiation/README.md - Githubissues

AndrasKovacs / elaboration-zoo

Minimal implementations for dependent type checking and elaboration

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

615 stars 35 forks source link

Fix typo in poly-instantiation/README.md #16

Closed LPTK closed 4 years ago