vivri/Adjective

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

语言：Scala · GitHub 星标：91 · Fork：5

话题：constraint-satisfaction · refinement · refinement-types · validation

在 GitHub 上查看原仓库