coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] OCaml API documentation

From: Dan Frumin <dfrumin AT cs.ru.nl>
To: coq-club AT inria.fr
Subject: [Coq-Club] OCaml API documentation
Date: Sun, 23 Apr 2017 14:03:20 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dfrumin AT cs.ru.nl; spf=None smtp.mailfrom=dfrumin AT cs.ru.nl; spf=None smtp.helo=postmaster AT smtp1.science.ru.nl
Ironport-phdr: 9a23:Z53X0xyBpgfK1gXXCy+O+j09IxM/srCxBDY+r6Qd1eMXIJqq85mqBkHD//Il1AaPBtSHraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze6/9pncbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHolCgJOCM3/mLZhMJug61VpwmspwBmw47RfI2VNOZyc6HbcNgHRWRBRMFRVylZD42ydYQPCfcKM+ZCr4ngolsOrB2+DhSrCezyxD9InGL23ag70+QnCgzJwBcgE8gUsHTJttn1MqMSXPmzwaLVzjvDd+tb1Srz5YTVaBwtvPOBUL1qfcbMyEQjDR7Jg1qepID9MT6Zy/4Bv3aH4+Z9T+6jlnIrpg9rrjSxwsohjJTCiJgPxVDe7yp5xZ44Jd2mR05/Zt6pCIBQtySGN4tuX88uWXpotzo7yrIYv560YDYFxI49xx7CcfCHdYyI7griVOaXPzh4mGpodK+xihqv60Ss1+/xW8au3FpXrydJiMTAu38D2hDL78iIUPp9/kOv2TaV0ADT7/lJLl06larBNp4hx78wlpwIvEvfBS/6gl/2jLKMekUi/uik8/7nban+pp+AK490jRnzPbgpmsymGOg3LgwOX3WA9umnz73i/Uj5QK1QgfEsk6nZtoraJcUBqaKjDQ9VyNVr1xHqBDC/ld8cgHMvLVRfeRvBgZK6FUvJJaXUBPH3rU6xlTZtj6TKMKf8B5TLBnPY1q38O7B5vR0PgDEvxMxSssoHQooKJ+j+Dxf8

Dear all,

Is there an up to date documentation on the Coq’s OCaml’s interface somewhere?
I would like to write a plugin, but I didn’t find anything on the website or
in the refman. I suppose the only way would be to just
dig into the source code?

Best,
Dan

[Coq-Club] OCaml API documentation, Dan Frumin, 04/23/2017
- Re: [Coq-Club] OCaml API documentation, Emilio Jesús Gallego Arias, 04/24/2017
- Re: [Coq-Club] OCaml API documentation, Abhishek Anand, 04/24/2017