Change History for Records

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