Z-snails/idris2-elab-util

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

IdrisBSD-2-Clause