IReplyToRetards·vor 8 Jahren·discusssource: good generics implementationsCoq: 142%Haskell: 91%All Other Languages: 0%
Coq: 142%
Haskell: 91%
All Other Languages: 0%