coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Kenneth Roe <kendroe AT hotmail.com>
- To: Coq-Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Sample Coq 8.7 ML plugin
- Date: Mon, 30 Oct 2017 03:41:44 +0000
- Accept-language: en-US
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kendroe AT hotmail.com; spf=Pass smtp.mailfrom=kendroe AT hotmail.com; spf=Pass smtp.helo=postmaster AT NAM03-CO1-obe.outbound.protection.outlook.com
- Ironport-phdr: 9a23:8w3vch95+76Dj/9uRHKM819IXTAuvvDOBiVQ1KB+1e8cTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV91a19Hs5Hgj1fV5+If2wEYrPhey20fqz8tvdeVMbqiC6ZOZRIROwoBnR/vMRjMM2Kas3xgHOr1NIfPhTzGJsY1mUmkCvtY+L4Jd//nEI6Loa/MlaXPCicg==
- Spamdiagnosticmetadata: NSPM
- Spamdiagnosticoutput: 1:99
I've decided to upgrade my code to Coq 8.7. Can some one point me to a small sample project showing how to build an ml-plugin with Coq 8.7?
- Ken
- [Coq-Club] Sample Coq 8.7 ML plugin, Kenneth Roe, 10/30/2017
- Re: [Coq-Club] Sample Coq 8.7 ML plugin, Ralf Jung, 10/30/2017
- Re: [Coq-Club] Sample Coq 8.7 ML plugin, Kenneth Roe, 10/30/2017
- Re: [Coq-Club] Sample Coq 8.7 ML plugin, Emilio Jesús Gallego Arias, 10/30/2017
- Re: [Coq-Club] Sample Coq 8.7 ML plugin, Kenneth Roe, 10/30/2017
- Re: [Coq-Club] Sample Coq 8.7 ML plugin, Ralf Jung, 10/30/2017
Archive powered by MHonArc 2.6.18.