josevalim/intersection_types

Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.

语言：Elixir · GitHub 星标：10 · Fork：0

在 GitHub 上查看原仓库