Dr-Nekoma/WAM

An implementation of Warren's abstract machine written in OCaml

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

话题：compiler · datalog · functional-programming · logic-programming · nix · nix-flake · ocaml · prolog

在 GitHub 上查看原仓库