Bram-Hub/Willow

Add the ability to branch on any statement

Opened this issue · 0 comments

jputlock commented

It is logically valid to branch on the tautology (A or not A) for any statement A, but is currently not implemented.