sml-redprl icon indicating copy to clipboard operation
sml-redprl copied to clipboard

Published 20 hours ago • verified publisher icon RedPRL

Coe of V is wrong

Open favonia opened this issue 5 years ago • 0 comments

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

favonia avatar Sep 21 '18 14:09 favonia