1. 标签
  2. s-combinator
  3. 标签动态

该标签暂无描述

To prove SKK and II are beta equivalent, lambda ca

我只想做你的唯一·2020-10-04 08:44· 回答·问答

convert flip lambda into SKI terms

Root（大扎）·2019-05-11 21:27·1 回答·问答

相关标签