search

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt
31 stars 1 forks source link

can we rename *goals* to *configuration*? #36

Closed alleystoughton closed 1 year ago

alleystoughton commented 1 year ago

Can we rename the goals buffer to be configuration?