☰
jon.recoil.org
blog
notebooks
projects
reference
Module
Flambda2_datalog
module
Datalog
:
sig
...
end
Well-typed Datalog implementation.