/datalog-gadt

Type-safe Datalog experiment using GADTs in OCaml

Primary LanguageOCaml

Stargazers