← Back to context

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.

0 comments

gf000

Reply

No comments yet

Contribute on Hacker News ↗