4 ms·
If I were actually smart I'd use something like Idris or Coq. But it's just software development, not rocket surgery. I'm good with being dumb.
by randomdata 2y ago
If I were actually smart I'd use something like Idris or Coq. But it's just software development, not rocket surgery. I'm good with being dumb.