Matthew Pocock
Matthew Pocock
Thanks @oxinabox. I did watch that video and had a look at his project but couldn't work out how to actually use it. I was able to get a parser...
@alyst thanks - did you release it here or on a forked github project? Julia has the potential to enable really efficient combinator parsers, as the method overloading would let...
> This sounds like it might be https://github.com/linebender/piet-gpu/issues/224. Yes, it looks like it could be exactly that. Dual card laptops is not that unusual. I'll try this on my desktop,...
OK. I ended up using the predicate test, using the range contains method. But it is a bit verbose, and less declarative. Thanks.
I would love good lean4 support within zed, supporting a similar interactive environment to that in vs code. I hate to be that person, but have you tried a modern...
Not totally minimal, but I had another go, and this code compiles. I haven't checked if it actually runs as expected, as I've not yet written a client. Obviously, in...
Some notes: * I was unable to make this work with a single-member struct, but it may have been user error -- so `UserId(u32)` would not work for me *...
 Here's an example of a totally vacuuous hallucination.
This appears to be fixed in some intermediate zed release. Consider it closed.
> There is syntax for this (maybe unintentionally) as demo'd in #5423 Interesting. I guess that's a functional hack.