Change History for TypeFunctions

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