search

idris-community / inigo

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

Update idrall to latest #34

Closed alexhumphreys closed 2 years ago

alexhumphreys commented 2 years ago

Ah, looks like I also need to upgrade idris2!

alexhumphreys commented 2 years ago

Looks like #38 has this covered so I can close this 👍