Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
pp:2024:l10 [2024/05/12 17:56] mihai.udubasa |
pp:2024:l10 [2024/05/13 16:12] (current) mihai.udubasa |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| type Name = String | type Name = String | ||
| type PhoneNumber = String | type PhoneNumber = String | ||
| - | PhoneBook = Map Name PhoneNumber | + | type PhoneBook = Map Name PhoneNumber |
| </code> | </code> | ||