Kakadu/OCanren-basic-template

A template repository for relational programming using OCanren

语言：OCaml · GitHub 星标：2 · Fork：0

话题：ocaml · ocanren · relational-programming · template

在 GitHub 上查看原仓库