issues
search
stefan-hoeck
/
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
BSD 2-Clause "Simplified" License
76
stars
16
forks
source link
[ cleanup ] removed some dead code
#63
Closed
stefan-hoeck
closed
1 year ago