Comment by ModernMech

A shame, but I just can’t teach it in my programming languages class. I can’t stand up there in front of 200 students saying coq coq coq for an hour. I just can’t.