Fixes to Operators - Githubissues

querycert / qcert

Compilation and Verification of Data-Centric Languages

https://querycert.github.io/

Apache License 2.0

56 stars 9 forks source link

Fixes to Operators #113

Closed jeromesimeon closed 5 years ago

jeromesimeon commented 5 years ago

Add alternative generate text
Add pick for random nth's element in bag
Remove old code
Bump to 1.3.0