mini-refined
mini-refined copied to clipboard
Published
20 hours ago •
note
note
Simple encoding of refinement types in Scala 3
Results
1
mini-refined issues
Sort by
recently updated
recently updated
newest added
This was picked up on scala 3's open-community-build: https://github.com/scala/scala3/issues/20292 Previously, a bug in the compiler could remove some parts of the code before an inline match. In this project, this...
