3 ms·I'd say that for one of the terminating languages (Agda, Coq) perhaps?by tel 12y agoI'd say that for one of the terminating languages (Agda, Coq) perhaps?