Skip to content

fix(conv): check operator type-arguments in applied op-convertibility - #1094

Open
namasikanam wants to merge 1 commit into
mainfrom
fix/conv-drops-type-args
Open

fix(conv): check operator type-arguments in applied op-convertibility#1094
namasikanam wants to merge 1 commit into
mainfrom
fix/conv-drops-type-args

fix(conv): check operator type-arguments in applied-op convertibility

73f5882
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
EasyCrypt compilation (nix)
succeeded Aug 21, 2026 in 53s