|
|
# Aktuelle Levelbeschreibung
|
|
|
|
|
|
## Level1
|
|
|
Nicht erlaubt sind:
|
|
|
- Imports
|
|
|
- Modulheader
|
|
|
- Eigene Datentypen
|
|
|
- Funktionssignaturen ohne -definitionen
|
|
|
- Typvariablen
|
|
|
- Do-Notation
|
|
|
- Funktionsdefinitionen ohne -signaturen
|
|
|
- Funktionen höherer Ordnung
|
|
|
- Lambda-Ausdrücke
|
|
|
|
|
|
## Level2
|
|
|
Nicht erlaubt sind:
|
|
|
- Imports
|
|
|
- Modulheader
|
|
|
- Funktionssignaturen ohne -definitionen
|
|
|
- Do-Notation
|
|
|
- Funktionen höherer Ordnung
|
|
|
- Lambda-Ausdrücke
|
|
|
|
|
|
## Level3
|
|
|
Nicht erlaubt sind:
|
|
|
- Funktionssignaturen ohne -definitionen
|
|
|
- Do-Notation
|
|
|
|
|
|
## Weitere Fehler
|
|
|
Des Weiteren werden noch Fehlermeldungen für folgende Fälle geworfen:
|
|
|
- Fehlende Typdefinitionen
|
|
|
- Duplikate
|
|
|
- Undefinierte Funktionen
|
|
|
- Überschatten von Variablen |
|
|
\ No newline at end of file |