A Simple Toy language made in Prolog and OCaml
语言:OCaml · GitHub 星标:4 · Fork:0
话题:krivine-machine · ocaml · prolog · secd · toy-language
在 GitHub 上查看原仓库