aya-prover/aya-dev

Coercive subtyping didn't work from path to functions. WTF?

ice1000 opened this issue · 1 comments