Utilities and documentation for exploring idirs2's new elaborator reflection.
Primary LanguageIdrisBSD 2-Clause "Simplified" LicenseBSD-2-Clause