a8e5 / idris2-elab-util Goto Github PK
View Code? Open in Web Editor NEWThis project forked from stefan-hoeck/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
License: BSD 2-Clause "Simplified" License