Change History for Records

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