who designed the programming language in which influenced coq?
(AND computer.programming_language_designer (JOIN computer.programming_language_designer.languages_designed (JOIN (R computer.programming_language.influenced) m.02s7zd)))