Change History for TypeFunctions

Version Date Author Comment
90 4 years goldfire
89 8 years simonpj
88 8 years chak
87 8 years chak
86 9 years chak
85 9 years chak
84 9 years chak
83 9 years chak
82 9 years chak
81 10 years chak
80 10 years chak
79 10 years chak
78 10 years chak
77 10 years chak
76 10 years chak
75 10 years chak
74 10 years simonpj
73 10 years simonpj
72 10 years simonpj
71 10 years simonpj
70 10 years simonpj
69 10 years simonpj
68 10 years chak
67 10 years chak
66 10 years chak
65 10 years chak
64 10 years chak
63 10 years chak
62 10 years chak
61 10 years chak
60 10 years chak
59 10 years chak
58 10 years chak
57 10 years chak
56 10 years chak
55 10 years chak
54 11 years chak
53 11 years chak
52 11 years chak
51 11 years chak
50 11 years chak
49 11 years chak
48 11 years chak
47 11 years chak
46 11 years chak
45 11 years chak
44 11 years chak
43 11 years chak
42 11 years chak Initial info about kind checking
41 11 years chak Kinds of indexed types are determined by the kind signature alone
40 11 years chak Type checking indexed types (III)
39 11 years chak Type checking indexed types (II)
38 11 years chak Type checking indexed types (I)
37 11 years chak Align implementation description with actual code plus add terminology …
36 11 years chak
35 11 years chak
34 11 years chak
33 11 years chak
32 11 years chak
31 11 years chak
30 11 years chak
29 11 years chak
28 11 years chak
27 11 years chak
26 11 years chak new formation rules
25 11 years chak Relaxing restrictions
24 11 years chak
23 11 years chak
22 11 years chak
21 11 years chak
20 11 years chak
19 11 years chak
18 11 years chak
17 11 years chak
16 11 years chak
15 11 years chak
14 11 years chak
13 11 years chak
12 11 years chak
11 11 years chak
10 11 years chak
9 11 years chak
8 11 years chak
7 11 years chak type checking class declarations with assoc data types
6 11 years chak renaming an extraction of assoc data types
5 11 years chak
4 11 years chak
3 11 years chak
2 11 years chak specification and restrictions
1 11 years chak aims