davidfstr/arf

Tiny research language for investigating how to type-check programs with recursive function calls.

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

话题：type-system

在 GitHub 上查看原仓库