Change History for Records/DeclaredOverloadedRecordFields/COmpareSORF

Version Date Author Comment
16 7 years strake888 Material wrongly attributed to SPJ deleted
15 7 years guest add speculative approach for higher-ranked types with constraints -- AntC
14 7 years guest
13 7 years guest
12 7 years guest
11 7 years guest
10 7 years guest
9 7 years guest
8 7 years guest
7 7 years guest
6 7 years guest pretty up the linking, add wilder afterthought -- AntC
5 7 years guest afterthought re Proxy types vs Kinds
4 7 years guest
3 7 years guest note re updating higher-ranked types
2 7 years guest complete
1 7 years guest split from orig