Change History for TypeFunctions

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