4 ms·
> generally when people say "choose effect system" they mean choose some algebraic effect system This isn't really true. Bluefin and effectful are effect sys
by tome 2y ago
> generally when people say "choose effect system" they mean choose some algebraic effect system
This isn't really true. Bluefin and effectful are effect systems, but not algebraic effect systems.