λ Francesco Serra λ#neotype for #Scala3 by @kitlangton is an absolute gem of a library, combining together the power of new types and refinement types. Absolutely recommended, if you don't use it yet.
#neotype for #Scala3 by @kitlangton is an absolute gem of a library, combining together the power of new types and refinement types. Absolutely recommended, if you don't use it yet.