the programming language that influenced coq was designed by whom?
(AND computer.programming_language_designer (JOIN computer.programming_language_designer.languages_designed (JOIN (R computer.programming_language.influenced) m.02s7zd)))