Reed Mullanix
Reed Mullanix
Thanks so much for the PR! There are a couple of minor nits, but these are all nice additions :) I particularly like `πᶠ-lifting`!
Sorry! I've been a bit busy this week so I hadn't been keeping an eye on this. I did develop this against Agda `HEAD` and on `experimental`, which explains all...
I was working on the README and found a couple of gnarly scoping bugs, currently working on fixing them!
Sorry, this fell off my radar for a bit: I'll refresh myself on the details tomorrow
Just getting around to this: I think the way forward is to patch Agda to have a more refined form of what I outlined at WITS '22, where record types...
It's available [here](https://www.youtube.com/watch?v=1_ZJIYu2BRk&t=636s), but I'll also summarize the relevant bits, as I'm sure we all know the problem quite well 😁 The original idea in `cooltt` was that we already...
Completely understandable: you all have a very hard and important job, and I definitely do not want to make it harder! I would definitely be interested in stepping up to...
This is a bit more complicated than first appears. The bindings that come with `cimgui` dont use `IMGUI_USE_WCHAR32` or `IMGUI_USER_CONFIG` by default. Perhaps it is better to just drop `cimgui`,...
I'm also experiencing this, would it make sense to cut a release soon?
Hey all! I've done some thinking about this in the past, and I think it might make sense to break backward compat in a few ways that dramatically simplify the...