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

Is HVect in contrib? I added this so --install would work for me. #1

Closed prozacchiwawa closed 4 years ago

stefan-hoeck commented 4 years ago

Thanks.