paper Switch 2 typo fix

Open DKormann opened this issue 1 year ago • 1 comments

I believe there has been a slight typo. not sure how to compile the pdf though

Oct 24 '24 16:10 DKormann

i think the correct rule should be something like this right

#n+1 ~ ?(A B)`
_____________
A ~ (* x)
#n ~ ?(x B)

Oct 24 '24 23:10 DKormann