林中空地 边前行,边构筑自身

Curry–Howard Isomorphism