tangentstorm
tangentstorm
interestingly, the behavior seems to work correctly when `+:` is used.
That sounds like me... :)
What I run is the `test` script... It just generates a bunch of output into the `expect` directory, and then does a `git diff` on that directory. We just need...
Ah, for files it can parse, that seems to do the same thing (or something very similar to) what just importing with `@clean` does. I think probably I'm using Leo...
~~What does "cff" mean?~~ Oh! I see now. `cff` is a command that's short for "clone find all flattened". I do this operation enough that I'd still probably want to...
someone else got it working on rust: https://github.com/plasma-umass/coz/tree/master/rust
Oh, hi there. I never saw the notification about your reply on reddit. Thanks for checking my code out! I've written several versions of this system in other languages (python,...
I think at the very least, the interface would have all boolean operators that rust the language provides, and perhaps even all boolean operators of two arguments, as well as...
After #7 (enable swarming by default), this typechecks and runs, but so far, I only implemented serialization / deserialization for the completed work. That's fine for now, because `BddSwarm` never...
Well, I was about to volunteer to write a runner, but @Bubbler-4 beat me to it. :) ## version The `{{ .. }}` syntax requires j902, but with 903 right...