16 Apr
2003
16 Apr
'03
12:27 p.m.
The plan would be to automatically derive classes 'Typable' and 'Term' for every data type, and make TypeReps a bit more efficient and clean.
Good, I would appreciate that very much!
is anyone actually using the derivable-type-class stuff? does anyone mind if they die
No, I don't mind Christian