na0214/snail

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

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

话题：coeffects · functional-programming-language · ocaml · programming-language · statically-typed

在 GitHub 上查看原仓库