>>819
んじゃあ、形無しラムダ計算は発明から何十年もの間、
その本質は表現されなかったんだw