4 ms·

I learned coq as a teenager because the name was funny and one defined everything in terms of the `succ` function. Never underestimate our motivation.

• knotimpressed 8mo ago
  Continuing to do things only because they’re funny as an adult is one of life’s little treats!
  • jjmarr 8mo ago
    Unfortunately, they changed the name to Rocq.
    • kleiba 8mo ago
      ...as long as they also changed the defining function to `hard`, we're still good.