stefan-hoeck / idris2-elab-util

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

stefan-hoeck/idris2-elab-util Issues

derive doesn't work in mutual blocks
Closed 2 years ago2
Elaborator really slow on types with lots of constructors
Updated 2 years ago1
Break-down explanation expected in Interface Implementations for Enumerations
Updated 2 years ago1
What does the %runElab directive do
Closed 3 years ago2
pretty not handling UnderAppliedCon
Closed 3 years ago2