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

[ upstream ] Adapt to the changes in idris-lang/Idris2#2517 #37

Open buzden opened 2 years ago

buzden commented 2 years ago

Just in case if idris-lang/Idris2#2517 is accepted

stefan-hoeck commented 2 years ago

Thanks. Can you ping me, once the PR is ready for merging?

buzden commented 2 years ago

Thanks. Can you ping me, once the PR is ready for merging?

Sure!