elba

A package manager for Idris

Search similar apps

License

MIT License

A package manager for Idris

Creator

elba

Related apps