 | 1.4 == symbol |
| 1 Changes to RSL |
| 1.6 Extra meanings for ∈, ∉, and hd |
|
|
| ||||||
| 1.5 Finite maps | ||||||||
There are both finite maps -m-> (ASCII symbol -m->) and infinite
maps -~m-> (-~m->). Finite maps have finite domains and are
deterministic when applied to values in their domain. Finite maps
were introduced in The RAISE Development Method [2].
| 1.5 Finite maps | ||||||||
|
|
| ||||||