Alex Gryzlov

https://github.com/OPLSS/introduction-to-algebraic-effects-and-handlers https://arxiv.org/abs/1807.05923 Bauer, "What is algebraic about algebraic effects and handlers?"

Speaking of the kappa/zeta decomposition, there was a somewhat similar idea of using "generalized arrows" as a sort of generalized IR for metaprogramming: http://www.megacz.com/berkeley/garrows/. There was also some preliminary work...

I mean, the button works, but the initializer does not.

> @joscoh thanks for your PR, I will comment later. Meanwhile it looks to me like there is some common points with [an old PR of mine](#210), so we should...

Counter added in https://github.com/imdea-software/htt/pull/24

Travis scripts also seem to need updating

Where should we add this?

It looks like this optimization was added in https://github.com/ucsd-progsys/liquid-fixpoint/pull/641

I've created a LF PR to fix the preamble logging: https://github.com/ucsd-progsys/liquid-fixpoint/pull/681

@facundominguez No, I don't think so; I used it as a template to implement the `plot-performance` tool, but decided to keep it around in case somebody else still needed it.