Alex Gryzlov
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.