SpiceQA
Questions
Tags
Users
Badges
effect-systems
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Interpret a `Sem (x ': r) a` into a `Sem (y ': r) b`?
user_10135377
0
•
asked Jun 24, 2021
2
0
84
haskell-polysemy
effect-systems
functional-programming
haskell
Encode effect in terms of another with freer extensible effects
user_465378
0
•
asked Jul 3, 2017
4
1
68
effect-systems
haskell
1
(current)
Hot Questions