changeset 12338 | de0f4a63baa5 |
parent 11703 | 6e5de8d4290a |
child 17309 | c43ed29bd197 |
12337:7c6a970f0808 | 12338:de0f4a63baa5 |
---|---|
15 types |
15 types |
16 behavior |
16 behavior |
17 temporal = behavior form |
17 temporal = behavior form |
18 |
18 |
19 arities |
19 arities |
20 behavior :: term |
20 behavior :: type |
21 |
21 |
22 instance |
22 instance |
23 behavior :: world |
23 behavior :: world |
24 |
24 |
25 consts |
25 consts |