Change History for Records

Version Date Author Comment
75 20 months GregWeber syntax
74 20 months GregWeber add link to records library
73 20 months adamgundry ORF current status
72 2 years adamgundry Reference OverloadedRecordFields as eventually implemented
71 3 years rrnewton
70 4 years GregWeber add Elm's records
69 4 years guest copyediting
68 4 years GregWeber link to edward zhang's ur records explanations
67 4 years strake888
66 4 years AntC add Option 7 Type-Punning DORF
65 4 years GregWeber
64 4 years strake888
63 5 years AntC Correct an incorrect claim about DORF
62 5 years GregWeber update UR link
61 5 years GregWeber compare DORF
60 5 years GregWeber trim down problem with currrent namespace section
59 5 years GregWeber counterpoint: remove redundancy & maintain objectivity
58 5 years elaforge
57 5 years elaforge
56 5 years GregWeber add back Chris Done's project explanation
55 5 years GregWeber move sml#
54 5 years GregWeber rearrange other languages
53 5 years GregWeber add ur/web
52 5 years GregWeber add other languages section
51 5 years GregWeber rearrange
50 5 years GregWeber compare overloading more
49 5 years GregWeber re-arrange TDNR
48 5 years GregWeber answer question
47 5 years guest
46 5 years guest add a few teasers where the DORF proposal differs -- AntC
45 5 years guest
44 5 years guest
43 5 years guest Add DORF option
42 5 years GregWeber downside of polymorphic record fields
41 5 years GregWeber
40 5 years GregWeber update with Agda
39 5 years GregWeber link to DotOperator
38 5 years simonpj
37 5 years simonpj
36 5 years simonpj
35 5 years GregWeber
34 5 years GregWeber
33 5 years GregWeber
32 5 years GregWeber remove redundant
31 5 years GregWeber formatting
30 5 years GregWeber move namespacing content to new page
29 5 years GregWeber link to new page
28 5 years GregWeber
27 5 years GregWeber organize & compare namespacing to overloading
26 5 years GregWeber re-structure: name-spacing is somewhat separate from type resolution
25 5 years GregWeber no wiki word
24 5 years GregWeber TDNR commentary
23 5 years GregWeber typo
22 5 years GregWeber use Frege document for design proposal
21 5 years GregWeber commentary on module/record re-use
20 5 years GregWeber formatting
19 5 years GregWeber namespacing - TDNR & module ideas
18 5 years GregWeber how to resolve module/record ambiguity
17 5 years simonpj
16 5 years simonpj
15 5 years simonpj
14 5 years simonpj
13 5 years simonpj
12 5 years simonpj
11 5 years simonpj
10 5 years hvr minor typos fixed
9 5 years barney
8 5 years YitzGale Linked to previous discussion about local modules.
7 5 years chrisdone removed problems with namespace part
6 5 years YitzGale Typo: binging => binding
5 5 years YitzGale Add missing word 'other' in "Are there any other approaches?"
4 5 years chrisdone Added some problems I've experienced with record name clashes.
3 5 years simonpj
2 5 years simonpj
1 5 years simonpj