Comment by catlifeonmars

6 months ago

Sorry but you lost me. How are coeffects different from effects? I think I’m missing some steps between monads and credentials. Maybe fill in the blanks?

0 comments