io.github.iltotore:iron_3 (maven): Strong type constraints for Scala
Keywords: assert|functional-programming|refinement-types|scala|types