search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
320 stars 49 forks source link

[TC] Add support for multiple instances of a type class on a single type #513

Open fdupress opened 10 months ago

fdupress commented 10 months ago

It is currently effectively impossible to have two instances of, say, type class monoid on a single type (for example int). The instances can be defined, but only the operators corresponding to the first can be selected.