These are chat archives for fthomas/refined

Dec 2016
Oron Port
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
Miles Sabin
Dec 13 2016 09:32
@soronpo you should definitely discuss that with @non.