IowaFP/Rosi

Rosi: a row-typed functional programming language, based on the Rose family of calculi

语言：Haskell · GitHub 星标：16 · Fork：0

话题：functional-programming · row-types · structural-subtyping · type-inference · type-theory

在 GitHub 上查看原仓库