Comment by catlifeonmars
Comment by catlifeonmars 3 days 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?
Comment by catlifeonmars 3 days 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?