search

idris-community / inigo

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

format docs for idrall #30

Closed joelberkeley closed 3 years ago

joelberkeley commented 3 years ago

Cosmetic tweaks to the Idrall docs

Let me know if you'd prefer the old explicit hyperlinks

Z-snails commented 3 years ago

Thanks @joelberkeley!