Comment by gf000
4 hours ago
Yeah. That's why I meant "generic", and we would probably agree that Coq and alia are not generic languages.
4 hours ago
Yeah. That's why I meant "generic", and we would probably agree that Coq and alia are not generic languages.
No comments yet
Contribute on Hacker News ↗