/idris2-elab-util

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

Primary LanguageIdrisBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers

No one’s watching this repository yet.