Post #4274094

@FishFace@ioc.exchange This whole English ambiguity is why I was so attracted to formal languages. But I realise I can't speak to people in lambda calculus or Lean !