Hacker News new | ask | show | jobs
by gf000 102 days ago
Yeah. That's why I meant "generic", and we would probably agree that Coq and alia are not generic languages.