search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
61 stars 7 forks source link

fix README & Dhall template #43

Open arsdragonfly opened 2 years ago