[miningape]

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]

standup> 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.