λ the β-Redex Reducer β-Redex Reducing Member Joined Sep 13, 2016 Messages 1,550 Age 55 Location Lambda Centre Dec 17, 2024 #21 pyrat said: You're supposed to ignore lots of true facts when they don't help in what you're doing. Click to expand... Ignore, not deny.
pyrat said: You're supposed to ignore lots of true facts when they don't help in what you're doing. Click to expand... Ignore, not deny.