kkd26/SiFun

Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher-Rank Polymorphism).

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

话题：compiler · functional-programming · higher-rank-types · interpreter · ocaml · programming-language

在 GitHub 上查看原仓库