Binary Lambda Calculus (via veqq) — discussion

#math #plt