3 ms·
Which category does Coq go in? https://github.com/coq/coq https://github.com/coq/coq With code example: https://github.com/coq-community/coq-100-theorems/blo
by sebstefan 3y ago
Which category does Coq go in?
https://github.com/coq/coq https://github.com/coq/coq
With code example:
https://github.com/coq-community/coq-100-theorems/blob/master/birthday.v https://github.com/coq-community/coq-100-theorems/blob/maste...
- AS37 3y agoML
- codeflo 3y agoOnce you recognize the patterns, it seems clearly in the ML tradition. Some bits and pieces look exactly like Haskell at first glance.
- navaati 3y agoOh it’s a ML alright, fits right next to Agda for example.
- tel 3y agoIt's definitely ML-relevant, but I'd argue that it's in its own league, and is maybe a suitable ur-language for that league.