package coq-template-coq

  1. Overview
  2. No Docs
A quoting library for Coq

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. G
    Gregory Malecha

Maintainers

  1. M
    matthieu.sozeau@inria.fr

Sources

v1.1.0-beta3.tar.gz
md5=5786320d72fe9d77f742cfd9c58a4f25

Description

Published: 25 Nov 2015

Dependencies (1)

  1. ocaml

Dev Dependencies (1)

  1. coq >= "8.5~beta3" & < "8.5.dev"

Used by

None

Conflicts

None