Change History for Records

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