Codebase list coq / 22a9921b-8439-4643-b89f-f8d6f2bc9c55/main interp / dune
22a9921b-8439-4643-b89f-f8d6f2bc9c55/main

Tree @22a9921b-8439-4643-b89f-f8d6f2bc9c55/main (Download .tar.gz)

dune @22a9921b-8439-4643-b89f-f8d6f2bc9c55/main — raw · history · blame 

1
2
3
4
5
6
(library
 (name interp)
 (synopsis "Coq's Syntactic Interpretation for AST [notations, implicits]")
 (public_name coq-core.interp)
 (wrapped false)
 (libraries zarith pretyping))