blob: 1f5ce0e7c637d9fef8169068091ea496cb966c64 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
module LijstTypes
import StdEnv
Start = 0
e1 :: [Int]
e1 =
e2 :: [Bool]
e2 =
e3 :: [[Int]]
e3 =
e4 :: [[[Real]]]
e4 =
e5 :: [Int Int -> Int]
e5 =
|