mattpolzin / idv

Idris Version Manager
16Updated last month

Alternatives and similar repositories for idv:

Users that are interested in idv are comparing it to the libraries listed below