Change History for Records

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