Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting

Home Page:https://deducteam.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Compatibility with OCaml

francoisthire opened this issue · comments

Currently, we aim to be compatible with OCaml 4.03, but this version is getting old. What should be our policy?

It's a good question, usually, projects decide to "freeze" dependencies at one point. You should at least be compatible with OCaml 4.07 (because dk3 uses earley which is not compatible (yet?) with Ocaml 4.08)