Pedro Fanha

Implement script async execution control

32

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...

Cannot detect infinite trees

4

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.