equal
deleted
inserted
replaced
12 |
12 |
13 Parser should check that: |
13 Parser should check that: |
14 - types of bindings match types of binding functions |
14 - types of bindings match types of binding functions |
15 - fsets are not bound in lst bindings |
15 - fsets are not bound in lst bindings |
16 - bound arguments are not datatypes |
16 - bound arguments are not datatypes |
|
17 - binder is referred to by name and not by type |
17 |
18 |
18 Smaller things: |
19 Smaller things: |
19 |
20 |
20 - lam.perm should be called permute_lam.simps (that is |
21 - lam.perm should be called permute_lam.simps (that is |
21 the convention from Nominal2) |
22 the convention from Nominal2) |