12 Nov
2010
12 Nov
'10
3:50 p.m.
On 12 November 2010 20:33, Malcolm Wallace
Either that, or people find it awkward to deal with the substantial extra hierarchies of type classes.
After the initial version in in PDFS it also developed operation bloat. e.g. the added Sequence class has many methods that don't fit well for standard inductive List...