/ivor

The steam powered Idris package manager

Primary LanguageIdris

Issues