crem icon indicating copy to clipboard operation
crem copied to clipboard
verified publisher icon marcosh

Cosieve and Corepresentable instances

Open marcosh opened this issue 2 years ago • 0 comments

Introducing effectful machines had the effect to invalidate the Cosieve and Corepresentable instances.

  • Find out if effectful machines StateMachineT m a b are isomorphic to NonEmpty a -> m b
  • Find out if there are already defined concepts as CosieveT and CorepresentableT

marcosh avatar Jan 27 '23 11:01 marcosh