Change History for TypeFunctions

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