rems-project / cn-tutorial

7 stars 8 forks source link

Update examples to uniformly use the `boolean` keyword, fix build script issues #76

Closed septract closed 1 month ago

septract commented 1 month ago

Necessary to support https://github.com/rems-project/cerberus/pull/497