Aktuelle Levelbeschreibung

Level1

Nicht erlaubt sind:

• Imports
• Modulheader
• Eigene Datentypen und Definition von Typsynonymen
• 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
• Funktionsdefinitionen ohne -signaturen
• Do-Notation

Level3

Nicht erlaubt sind:

• Funktionssignaturen ohne -definitionen
• Funktionsdefinitionen ohne -signaturen
• Do-Notation

Weitere Fehler

Des Weiteren werden noch Fehlermeldungen für folgende Fälle geworfen:

• Fehlende Typdefinitionen
• Duplikate
• Undefinierte Funktionen
• Überschatten von Variablen