3 ms·
Agreed about Prolog. I missed that one. I know neither Maude nor Pure, so I can't comment. Coq is ridiculously powerful, but hardly beautiful.
by catnaroek 10y ago
Agreed about Prolog. I missed that one.
I know neither Maude nor Pure, so I can't comment.
Coq is ridiculously powerful, but hardly beautiful.
- im_down_w_otp 10y agoAre we not doing, "Phrasing." anymore? Guys? Guuuyyysss? .... Danger zone!
- chriswarbo 10y ago> Coq is ridiculously powerful, but hardly beautiful. I agree, hence my qualification that it relies on an imperative layer (Ltac) to do anything useful, like dependent pattern-matching. I've edited my potentially ambiguous phrasing.