Description
Idris 2 metaprogramming can reuse helper code for elaborator reflection workflows.
It is useful for advanced developers writing tactics, generated code, or type-level tooling. This is a development library and assumes familiarity with Idris 2 internals.