fix typo in markdown link to next section

stefan-hoeck / idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

BSD 2-Clause "Simplified" License

77 stars 18 forks source link

Closed diakopter closed 4 years ago

stefan-hoeck commented 4 years ago

There are many more typos, I'm afraid :-). Thanks for finding this.