decrel icon indicating copy to clipboard operation
decrel copied to clipboard
verified publisher icon yoohaemin

use implicit defs instead of subtyping proofs

Open yoohaemin opened this issue 2 years ago • 0 comments

workaround https://github.com/scala/bug/issues/12721

yoohaemin avatar Mar 22 '23 05:03 yoohaemin