[TC] Pretty-printing of type class operators is bad - Githubissues

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

318 stars 49 forks source link

[TC] Pretty-printing of type class operators is bad #512

Open fdupress opened 9 months ago