My bachelor thesis: a compiler from Datalog rules to OCaml type checker (standard or incremental)
Primary LanguageOCamlGNU General Public License v3.0GPL-3.0
This repository is not active