search

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

[ adopt ] Manage with recently added `NoInline` function option #19

Closed buzden closed 3 years ago

buzden commented 3 years ago

It is a week of compiler's API surface changes ;-)

This PR should become valid (and should pass CI) after ~1:15 UTC

stefan-hoeck commented 3 years ago

Thanks