Skip to content

Coq Call 2019 11 13

Emilio Jesus Gallego Arias edited this page Nov 13, 2019 · 13 revisions

November 13th at 4pm Paris time. Add topics you would like to see discussed.

Topics

Notes:

  • TOC and format Advertise the call as well

  • Agreement on the PR from Arthur, Emilio needs to finish his review.

  • Bugs related to typeclass resolution "scope". On which evars to launch resolution? Should check about the VST perf.

  • unifall apply: First needs to fix https://github.com/coq/coq/pull/7825 to make appear We don't expect much CI breakage on https://github.com/coq/coq/pull/991 Hugo proposes to rebase 7825 and see what happens

    • Will need to evaluate performance precisely before going further. Already appears in the unify PR. Pierre-Marie and Maxime?
  • Doc: Jim, Théo and I on the refman, will present at the next Coq WG (CEP before that).

  • PR #10966 on its way, the rest of the PRs are postponed to next week.

Joining the call:

Vous êtes invité à la réunion en ligne "Coq Call".

Pour rejoindre :


You're invited to "Coq Call" online meeting.

To join :

Clone this wiki locally
You can’t perform that action at this time.