comonadic_life
comonadic_life copied to clipboard
Cats all the things
Upgrade to 2.13 (Stream -> LazyList). Use cats typeclasses & use cats-laws to verify them.
Tests now fail for GridZipper
comonad laws but hopefully this helps you build a lawful instance of it ;)