These are chat archives for fthomas/refined

13th
Dec 2016
Oron Port
@soronpo
Dec 13 2016 09:27
@/all Love to get your view on this. May be relevant to refined if we wish to use a constrained numeric iterator as an input to a refined variable
https://contributors.scala-lang.org/t/combining-for-loops-inline-and-literal-types-using-unroll/254
Miles Sabin
@milessabin
Dec 13 2016 09:32
@soronpo you should definitely discuss that with @non.