issues
search
stefan-hoeck
/
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
BSD 2-Clause "Simplified" License
77
stars
18
forks
source link
[ new ] some utilities for working with constructors
#55
Closed
stefan-hoeck
closed
2 years ago