Stream: coq-community devs & users

Topic: state of the community 2020


view this post on Zulip Karl Palmskog (Aug 19 2020 at 10:32):

I think we have done quite lot of progress on these items from a year ago:

view this post on Zulip Théo Zimmermann (Aug 19 2020 at 10:34):

Regarding Travis / GitHub Actions, I think it really makes sense to move the Nix support to GitHub Actions as well based on the experiments of @Cyril Cohen. Then, we may encourage GitHub Actions as the most recommended CI option.

view this post on Zulip Karl Palmskog (Aug 19 2020 at 10:36):

I agree, the Actions CI seems most supported/convenient going forward, hopefully it can be reduced to a single line whether to build with OPAM or Nix in the Actions .yml file

view this post on Zulip Bas Spitters (Aug 19 2020 at 11:53):

What constitutes compositional extraction?

view this post on Zulip Karl Palmskog (Aug 19 2020 at 11:59):

@Bas Spitters it just means that Dune knows about dependencies across Coq files and OCaml files, and will do the minimal work required to run coqc and the OCaml compiler to produce a new (verified) program once a file is changed


Last updated: Mar 28 2024 at 18:02 UTC