... | @@ -17,6 +17,7 @@ Nicht erlaubt sind: |
... | @@ -17,6 +17,7 @@ Nicht erlaubt sind: |
|
- Imports
|
|
- Imports
|
|
- Modulheader
|
|
- Modulheader
|
|
- Funktionssignaturen ohne -definitionen
|
|
- Funktionssignaturen ohne -definitionen
|
|
|
|
- Funktionsdefinitionen ohne -signaturen
|
|
- Do-Notation
|
|
- Do-Notation
|
|
- Funktionen höherer Ordnung
|
|
- Funktionen höherer Ordnung
|
|
- Lambda-Ausdrücke
|
|
- Lambda-Ausdrücke
|
... | | ... | |