4 ms·Coq disallows stream crossing Epic. Coq is the Dr. Egon Spengler of programming languages.by juliangamble 12y agoCoq disallows stream crossing Epic. Coq is the Dr. Egon Spengler of programming languages.