Pedro Fanha
Pedro Fanha
MoonSharp already has an extension for executing scripts asynchronously. However, that extension allows pretty much no control over the script's execution. Currently, the only way to do so is through...
Since the algorithm doesn't foresee any patterns and always follows the same rules in the same order, some inputs may lead to trees that become stuck in an infinite EQ->UQ...
``` ∀x∀y(R²xy ⊃ ~R²yx) ∴ ~∀x∀y(R²xy ⊃ R²yx) ``` ``` ∀x((P¹x & B¹x) ⊃ ∀y((P¹y & O¹y) ⊃ H²xy)), P¹e ∴ ∀x((P¹x & B¹x) ⊃ H²xe) ``` ``` (∀x)(S¹x ⊃...
Tested Chrome and Samsung Internet. Need to try to reproduce on PC.
& whatever is needed for docs.rs ...and then add docs.rs and crates.io badges to the README.