LPTK/simpler-sub

Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough for what you need!

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

在 GitHub 上查看原仓库