search

stefan-hoeck / idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.
BSD 2-Clause "Simplified" License
76 stars 16 forks source link

Fix misc. typos, indentation, missing words, etc. #53

Closed CodingCellist closed 1 year ago

CodingCellist commented 1 year ago

When working through the tutorial, I noticed a couple of minor typos, missing words, and the occasional inconsistent indentation. This should fix them (although I make no promise of having caught them all; just the ones that stood out to me).

stefan-hoeck commented 1 year ago

Thanks a lot for these.