Login
1 results
Sorting
Relevant
Dependent
Created
Updated
Stars
Forks
Contributors
Contributing Search
Filters
Target
Js (1)
Jvm (1)
Scala
2.12 (1)
2.13 (1)
Scala.js
0.6 (1)
1.x (1)
Topics
constraint-satisfaction (1)
refinement (1)
refinement-types (1)
validation (1)
vivri/adjective
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
Scala (JVM):
2.12
2.13
Scala.js:
0.6
1.x
refinement-types
refinement
constraint-satisfaction
validation
87
5
3
1
(current)