LuK74/OCaml-SmallLanguage

Small interpreted language written in OCaml. Some proofs of this language are done with Coq.

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

在 GitHub 上查看原仓库