4 ms·
I prefer the old name, it was much more memorable because it's funny. "Yeah I'm playing with my Coq to try and get it working again"
by miningape 6mo ago
I prefer the old name, it was much more memorable because it's funny.
"Yeah I'm playing with my Coq to try and get it working again"
- hansvm 6mo agostandup> My coq experiments are promising, but it feels a little harder than it should be, and I'm worried it'll be too slow to deliver without some training and long practice sessions.