Modify tutorial examples to use new arrow / `a->b` assertion syntax

rems-project / cn-tutorial

7 stars 8 forks source link

Closed septract closed 1 month ago