You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
The key has expired.
Introduced success and failureGoals
Introduced a logic type for parametrized Pair
Introduced run overloading that does not require to create of a fresh variable for the result
Introduced condo2 - it takes 2 Goals, invokes the first Goal, and returns a stream with its result if it was successful, and returns a stream with a result of the second Goal otherwise
Introduced debugVar - it reifies walked term using the passed reifier and returns a Goal from the passed callback