changeset 12338 | de0f4a63baa5 |
parent 9015 | 8006e9009621 |
child 13208 | 965f95a3abd9 |
12337:7c6a970f0808 | 12338:de0f4a63baa5 |
---|---|
2 |
2 |
3 Func = HOHH + |
3 Func = HOHH + |
4 |
4 |
5 types tm |
5 types tm |
6 |
6 |
7 arities tm :: term |
7 arities tm :: type |
8 |
8 |
9 consts abs :: (tm => tm) => tm |
9 consts abs :: (tm => tm) => tm |
10 app :: tm => tm => tm |
10 app :: tm => tm => tm |
11 |
11 |
12 cond :: tm => tm => tm => tm |
12 cond :: tm => tm => tm => tm |