4 ms·

They could go with TheD, to fill in the niche left by Coq now Coq's getting renamed.

• ReleaseCandidat 3y ago
  > ... now Coq's getting renamed Oh, didn't know that they are working on this. https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md#change-of-name-coq---the-rocq-prover https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-ro... and, of course, https://news.ycombinator.com/item?id=38779480 https://news.ycombinator.com/item?id=38779480 069-coq-roadmap.md? Oh, you! So now we've got Rocq and Roc https://www.roc-lang.org/ https://www.roc-lang.org/
• FreeFull 3y ago
  The TenaciousD?
  • kevindamm 3y ago
    GoblinD
    • runiq 3y ago
      kobolD was right there, dammit.
• deleted 3y ago
  [deleted]