Jacques Carette
Jacques Carette
Ah thanks. I'll definitely use `--no-keep-pattern-variables` when live coding PLFA. Having to do this "by hand" was a major pain.
I don't think it is a strong requirement to do set union in-place. I think `std::set_union` is just fine, and can be replaced at a later time with more imperative...
No, we should have a single concept of `union` -- which should be the purely functional one. One of the fundamental designs of GOOL is that it expresses "the things...
Yes, you have diagnosed the problem correctly and proposed the best solution.
I'm wondering if the problem has now moved to `valFromData`, i.e. it is general to too many types. I think maybe there should be different functions so that the new...
Predictably, the build failed. My skills at CI may not be up to changing the scripts to fix that. Help?
Will do a little later today.
> When does your term begin? Next Tuesday, September 3rd. > Was your intention to change `⊥-elim` to `contradiction` everywhere it appears? Probably not everywhere: it makes sense in part...
@wenkokke I neither updated the git submodule for the standard library nor the version of Agda in this PR. Obviously, I did do that in my working environment, but not...
That was a mistake - I wanted the exact opposite, i.e. allow maintainers to push! I could fix it... I would want the 'credit' of doing official, accepted PRs on...