Giters

lthms / FreeSpec

A framework for implementing and certifying impure computations in Coq

Home Page:https://lthms.github.io/FreeSpec

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Publish FreeSpec and extensions to Opam

lthms opened this issue · comments

commented

I think we are in a stage where the publication of an “unstable” version for other to start using it.

I think we can do that once #5 is done.

commented

Now that #4 has been merged, @yurug do you think you could start a PR which adds the missing bits that would allow us to submit a PR to the coq’s opam repository? It would be awesome, as I am not familiar with this ecosystem just yet.