CODEWITHSUNDEEP
idris
liminalisht
liminalisht

Reputation: 1253

Does Idris have an equivalent of hackage or pursuit?

That is, does there yet exist a central package repository of open source software written in Idris?

Some googling led me to the idris-hackers github page, here. And I can also search for projects on github written in Idris, of course. I was basically wondering if there is another well known site I am missing to look for Idris packages.

Upvotes: 1

Views: 113

Answers (1)

libeako
libeako

Reputation: 2384

No. There is not really a central package set for Idris yet.

But it looks like it has high priority.

The closest i could find is in Nix. Though probably in very infant state.

Upvotes: 3

Related Questions