melted / get-idris

Setting up an Idris dev environment on Windows
16Updated 4 years ago

Related projects

Alternatives and complementary repositories for get-idris