GitHub - dyzsr/sleek

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
.gitignore		.gitignore
.ocamlformat		.ocamlformat
ast.ml		ast.ml
ast.mli		ast.mli
ast_helper.ml		ast_helper.ml
ast_helper.mli		ast_helper.mli
checker.ml		checker.ml
checker.mli		checker.mli
colors.ml		colors.ml
colors.mli		colors.mli
dune		dune
dune-project		dune-project
history.ml		history.ml
history.mli		history.mli
inference.ml		inference.ml
inference.mli		inference.mli
lexer.mll		lexer.mll
main.ml		main.ml
parser.mly		parser.mly
proofctx.ml		proofctx.ml
proofctx.mli		proofctx.mli
signals.ml		signals.ml
signals.mli		signals.mli
sleek.ml		sleek.ml
sleek.mli		sleek.mli
sleek.opam		sleek.opam
syntax.ml		syntax.ml
syntax.mli		syntax.mli
utils.ml		utils.ml
utils.mli		utils.mli
verifier.ml		verifier.ml
verifier.mli		verifier.mli