romac/oxid-light

Prototype functional programming language with refinement types, powered by Inox

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

话题：inox · refinement-types · software-verification

在 GitHub 上查看原仓库