search

jwiegley / coq-pipes

99 stars 4 forks source link

An OPAM package for coq-pipes #1

Open clarus opened 8 years ago

clarus commented 8 years ago

Would it makes sense to distribute coq-pipes on the OPAM repository for Coq? The OPAM package manager makes it easier to install Coq libraries, by automatically downloading and installing the right dependencies.

jwiegley commented 8 years ago

Hi @clarus! I've actually been trying to reach you by e-mail, to ask you questions about algebraic effects in Coq.

As for coq-pipes, maybe? I'm not sure what the actual utility of it is...

clarus commented 8 years ago

Ah OK, that is you for the email, the world is small :)

In one word I would say that OPAM for Coq is like Cabal / Hackage for Haskell. Since coq-pipes is one of the most starred Coq library, I though this could be cool to have it on OPAM for people interested in using it for their projects.

jwiegley commented 7 years ago

@clarus I really have no idea how to prepare a package for OPAM. If you want to prepare what is needed, I'd be happy to merge it.