This package contains a lightweight deductive database system in OCaml
语言:OCaml · GitHub 星标:40 · Fork:4
在 GitHub 上查看原仓库