[ re #49 ] Update 'start here' link in README

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

Closed CodingCellist closed 2 years ago

CodingCellist commented 2 years ago

Without this you get a 404 when trying to click through to the tutorial

stefan-hoeck commented 2 years ago

Thanks.