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
Trailing whitespaces were removed
#5
Closed
buzden
closed
4 years ago
stefan-hoeck
commented
4 years ago
Thanks.
Thanks.