can we suppress the trailing ";" in effects in *response* buffer? - Githubissues

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt

31 stars 1 forks source link

can we suppress the trailing ";" in effects in response buffer? #39

Closed alleystoughton closed 1 year ago

alleystoughton commented 1 year ago

Can we suppress the trailing ";" in effects in response buffer?