GitHub - aliassaf/camelide: An interpreter for Dedukti written in OCaml.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 61 Commits
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README		README

Repository files navigation

                               ===============
                               C A M E L I D E
                               ===============

Camelide is an interpreter for Dedukti, written for OCaml.

The source code is available on GitHub at:
https://github.com/aliassaf/camelide

You need OCaml to compile it. It was tested with OCaml 3.12.0, but previous
versions should work just as well. To compile, simply run make in the main
directory. It will produce an executable named 'camelide'.

Usage: ./camelide <options> <file>
  -v <level> Set verbosity level
  -help      Display this list of options
  --help     Display this list of options

It is recommended to use option -v 1 or -v 2 on large files to follow the
progress of the type checking.

For more information on Dedukti, visit:
http://www.lix.polytechnique.fr/dedukti/

For feedback or bug reports, please visit the GitHub page, or send an email to:
ali.assaf@inria.fr