search

mit-plv / rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
Other
22 stars 20 forks source link

[CI] [Alpine] Don't use PR version of Alpine Coq #145

Closed JasonGross closed 8 months ago

JasonGross commented 10 months ago

Blocked on merge of https://gitlab.alpinelinux.org/alpine/aports/-/merge_requests/57766