📅 Date: Dec 25, 2019 • 🐈 Category: PL
Good Math/Bad Math的Lambda演算系列的中文翻译
Lambda calculus - Wikipedia
康托尔、哥德尔、图灵——永恒的金色对角线
求物之妙，如系风捕景，能使是物了然于心者，千万人而不一遇也。
