├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .gitmodules ├── CHANGES.md ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── Makefile ├── README.md ├── dune ├── dune-project ├── examples ├── dune ├── error.py ├── out │ ├── error.out │ ├── test.out │ └── test2.out ├── test.py └── test2.py ├── pycoq.opam ├── pycoq ├── __init__.py ├── coq_init.ml ├── coq_init.mli ├── dune ├── pycoq.ml └── pycoq.mli └── setup.py /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | __pycache__ 2 | _build 3 | *~ 4 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/.gitmodules -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/CHANGES.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/README.md -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) 2 | (name pycoq) 3 | -------------------------------------------------------------------------------- /examples/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/examples/dune -------------------------------------------------------------------------------- /examples/error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/examples/error.py -------------------------------------------------------------------------------- /examples/out/error.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/examples/out/error.out -------------------------------------------------------------------------------- /examples/out/test.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/examples/out/test.out -------------------------------------------------------------------------------- /examples/out/test2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/examples/out/test2.out -------------------------------------------------------------------------------- /examples/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/examples/test.py -------------------------------------------------------------------------------- /examples/test2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/examples/test2.py -------------------------------------------------------------------------------- /pycoq.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/pycoq.opam -------------------------------------------------------------------------------- /pycoq/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/pycoq/__init__.py -------------------------------------------------------------------------------- /pycoq/coq_init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/pycoq/coq_init.ml -------------------------------------------------------------------------------- /pycoq/coq_init.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/pycoq/coq_init.mli -------------------------------------------------------------------------------- /pycoq/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/pycoq/dune -------------------------------------------------------------------------------- /pycoq/pycoq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/pycoq/pycoq.ml -------------------------------------------------------------------------------- /pycoq/pycoq.mli: -------------------------------------------------------------------------------- 1 | (* emtpy *) 2 | -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ejgallego/pycoq/HEAD/setup.py --------------------------------------------------------------------------------