Hiroshi YAMAGUCHI

Unusual EqLaws definition

4

I found that EqLaws has an unusual definition: https://github.com/typelevel/cats/blob/d40b88462529fead1ffe630415267d529df0cee5/kernel-laws/shared/src/main/scala/cats/kernel/laws/EqLaws.scala#L36-L37 Equivalency that I know doesn't have antisymmetry law, that is typically included in order. I wonder where is the source of...

Limitation is not in README

1

Thank you for your smart and interesting implementation, which uses context abstraction, Project Loom's coroutines and no CPS transformation. However, there is a point which concerns me. Some type of...