These are chat archives for
Sign in to start talking
Experimental project to lay out basic algebra type classes
Jan 21 2015 23:55
I've probably missed it, but what's the status of lazy semigroup operations?
I just had a literal shower thought: Why not algebra.lazy.Semigroup which jas a toStrict method
The other direction might be useful too ... unsafeToLazy
Because then, you'd always have it in the type whether the operation is "certified" lazy