IReplyToRetards

↗ HN profile [ 24.9 ms ] full profile

Karma: 4
Created: May 17, 2018 (8y ago)
Submissions: 0

source: good generics implementations Coq: 142% Haskell: 91% All Other Languages: 0%

8y ago · view thread · ↗