Iltotore/iron

Strong type constraints for Scala

语言：Scala · GitHub 星标：562 · Fork：72

话题：assert · functional-programming · refinement-types · scala · types

在 GitHub 上查看原仓库