Add matryoshka-refined project.
sellout opened this issue · comments
Greg Pfeil commented
For instances on refined types.
E.g. Birecursive.Aux[Int With NonNegative, Option]
Generalized recursion schemes and traversals for Scala.
sellout opened this issue · comments
For instances on refined types.
E.g. Birecursive.Aux[Int With NonNegative, Option]