This repository has been archived by the owner on Apr 2, 2023. It is now read-only.

Coe of V is wrong #692

Open

favonia opened this issue Sep 21, 2018 · 0 comments

Assignees

Labels

A-computation-system I-bug

Contributor

favonia commented Sep 21, 2018 •

edited

Loading

Coercion of V types in RedPRL is currently wrong because the algorithm does not work in the open-term setting.

favonia added A-computation-system I-bug labels

favonia self-assigned this

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.