Yihang "Corvo" Liu
Yihang "Corvo" Liu
For your list of possible combinations: ``` {proof: 0; pair: 1; single: 0} ... ``` Doesn't seemed to on par with what George have in [this snippet](https://gist.github.com/georgeee/cc58f5722bd7f1b65e597b889f0b06b6). Specifically, the range...
I just realized there's `Mina_generators`, we should move command generation logics inside that library so other applications might use it. Potential use case: In mock coordinator test, we're using dumped...
Is it possible for us to have a formula instead of using magic numbers?
> Regarding magic number, do you mean that chunks length is magic number : > > ``` > let chunks_length = 100 in > ``` > > ? or something...
Make sense, please do :)
I run into this when trying to port [ctregex](https://github.com/dadrian/ctregex.zig) to zig 0.13, what is the status of this issue? Is this abandoned or implemented?
I kinda need this because I'm trying to emulate streaming parsers with lalrpop:https://github.com/lalrpop/lalrpop/issues/1008
Hello, I just dig through the examples, but I found no examples of implementing the Source Trait and have it work with Logos, do you mind provide a simple example?...
It turns out I can't implement this trait on String as it's derived by logos already. Here's what I attempt to add: ```rust impl Source for String { type Slice...
Well, if the implementation is already derived, why didn't this just work?