Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Sample Coq 8.7 ML plugin

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Sample Coq 8.7 ML plugin


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page