Adowrath/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
IdrisBSD-2-Clause
Watchers
No one’s watching this repository yet.
Utilities and documentation for exploring idirs2's new elaborator reflection.
IdrisBSD-2-Clause
No one’s watching this repository yet.