Comment by catlifeonmars

1 month 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