| changeset 2480 | ac7dff1194e8 |
| parent 2454 | 9ffee4eb1ae1 |
| child 2481 | 3a5ebb2fcdbf |
| 2479:a9b6a00b1ba0 | 2480:ac7dff1194e8 |
|---|---|
6 |
6 |
7 atom_decl var |
7 atom_decl var |
8 atom_decl cvar |
8 atom_decl cvar |
9 atom_decl tvar |
9 atom_decl tvar |
10 |
10 |
11 declare [[STEPS = 100]] |
11 declare [[STEPS = 31]] |
12 |
12 |
13 nominal_datatype core_haskell: |
13 nominal_datatype core_haskell: |
14 tkind = |
14 tkind = |
15 KStar |
15 KStar |
16 | KFun "tkind" "tkind" |
16 | KFun "tkind" "tkind" |