tominated/system_f_omega

My Attempt at System Fω with Row-Polymorphism

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

话题：functional-programming · lambda-calculus · ocaml · row-polymorphism · system-f · system-f-omega

在 GitHub 上查看原仓库