search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
307 stars 47 forks source link

Remove smart constructor #310

Open strub opened 1 year ago

strub commented 1 year ago

Time benefit is unclear, but this adds a lot of come.

We should investigate whether there is some benefit in having them and remove them if not.

chdoc commented 1 year ago

Was this resolved by #387 or are there more smart constructors that should be investigated and potentially removed?

strub commented 1 year ago

That's a good question. @Cameron-Low ?

Cameron-Low commented 1 year ago

The only Smart constructor stuff still around is the List.Smart module. I imagine this could be removed as well.