stefan-hoeck / idris2-pack

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

Support custom Pack DB #287

Open joelberkeley opened 6 months ago