Logic
A lot of effort went into this post but the author didnt do enough preliminary explanation. I have some limited background in logic &#x2F; FP but wasn&#x27;t able to follow along.<p>Can someone explain the notation? Might be difficult without images