Change History for Records

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