search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
105 stars 27 forks source link

[ new, fix ] add cleanbuild command and remove build dir during clean #291

Closed stefan-hoeck closed 5 months ago

emdash commented 5 months ago

Ship it!