Mark Thom
Mark Thom
Rust 1.57 or greater is required.
I'm happy to report that on my machine, the changes of the rebis-dev_improved-length branch cause Markus' benchmark program to run slighter faster on Scryer than SWI.
You could always package the machine submodule as a library, sure. I'm not thrilled with the way expansions and the toplevel interaction are currently handled, though. I would want to...
It might be due to the recent autocompletion work. I can't think of why else it would suddenly use more memory. Maybe if we add an option to toggle it...
No. Rather, "!" is interpreted by the `(,)/2` predicate, which is being called in your examples.
This is now fixed in rebis-dev.
Not without an ugly kludge, no; cargo is very limited in this way. I'm hesitant to approve this pull request for a few reasons. The first is that, as you...
Once the `discontiguous` directive is implemented, it should be possible to add the additional flags outside of builtins.
#1503 was a straightforward fix but this will take some effort. One strategy is to classify the first instantiated arg according to the type predicate following the turnstile (if there...
I'm not sure what a patch release is. I don't mind doing it but I would need to know first.