GitHub repository: note/mini-refined
Primary language: Scala
Description: Simple encoding of refinement types in Scala 3