... | ... | @@ -13,7 +13,7 @@ |
|
|
|
|
|
**Stufe 2:**
|
|
|
|
|
|
* ⊖ Hiding einiger Predudefunktionen aufheben (z.B.: list)
|
|
|
* ⊖ Hiding einiger Preludefunktionen aufheben (z.B.: list)
|
|
|
* ⊖ Eigene Datentypen erlauben
|
|
|
* ⊕ Typvariablen verbieten
|
|
|
* ⊕ Showinstanzen für Datentypen generieren
|
... | ... | |