Change History for Records

Version Date Author Comment
75 3 years GregWeber syntax
74 3 years GregWeber add link to records library
73 3 years adamgundry ORF current status
72 4 years adamgundry Reference OverloadedRecordFields as eventually implemented
71 4 years rrnewton
70 5 years GregWeber add Elm's records
69 5 years guest copyediting
68 5 years GregWeber link to edward zhang's ur records explanations
67 5 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 6 years GregWeber downside of polymorphic record fields
41 6 years GregWeber
40 6 years GregWeber update with Agda
39 6 years GregWeber link to DotOperator
38 6 years simonpj
37 6 years simonpj
36 6 years simonpj
35 6 years GregWeber
34 6 years GregWeber
33 6 years GregWeber
32 6 years GregWeber remove redundant
31 6 years GregWeber formatting
30 6 years GregWeber move namespacing content to new page
29 6 years GregWeber link to new page
28 6 years GregWeber
27 6 years GregWeber organize & compare namespacing to overloading
26 6 years GregWeber re-structure: name-spacing is somewhat separate from type resolution
25 6 years GregWeber no wiki word
24 6 years GregWeber TDNR commentary
23 6 years GregWeber typo
22 6 years GregWeber use Frege document for design proposal
21 6 years GregWeber commentary on module/record re-use
20 6 years GregWeber formatting
19 6 years GregWeber namespacing - TDNR & module ideas
18 6 years GregWeber how to resolve module/record ambiguity
17 6 years simonpj
16 6 years simonpj
15 6 years simonpj
14 6 years simonpj
13 6 years simonpj
12 6 years simonpj
11 6 years simonpj
10 6 years hvr minor typos fixed
9 6 years barney
8 6 years YitzGale Linked to previous discussion about local modules.
7 6 years chrisdone removed problems with namespace part
6 6 years YitzGale Typo: binging => binding
5 6 years YitzGale Add missing word 'other' in "Are there any other approaches?"
4 6 years chrisdone Added some problems I've experienced with record name clashes.
3 6 years simonpj
2 6 years simonpj
1 6 years simonpj