search

idris-community / inigo

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

Various small fixes and improvements #13

Closed Z-snails closed 3 years ago

Z-snails commented 3 years ago

Fix some whitespace issues in the Toml parser. Fix an issue with empty depends or modules lists.