Stream: Elpi users & devs

Topic: ✔ Assertion failed in coq_elpi_HOAS.ml

view this post on Zulip Enrico Tassi (Nov 10 2023 at 14:03):

sorry, I pushed a commit with an error, give me one minute

view this post on Zulip Enrico Tassi (Nov 10 2023 at 14:04):

There it is: https://github.com/LPCIC/coq-elpi/pull/537/commits/54e54ada6603dc6548b16f5c6c22554e76ab3a4b

view this post on Zulip Quentin VERMANDE (Nov 10 2023 at 14:09):

It works now as expected, thanks.

view this post on Zulip Notification Bot (Nov 10 2023 at 14:15):

Quentin VERMANDE has marked this topic as resolved.

Last updated: Oct 13 2024 at 01:02 UTC