Processing math: 100%

06 2023 档案

摘要:军训太闲了决定开个新坑? ~~(话说这种东西真的能叫军训嘛)~~ ## Untyped Lambda Calculus Construction principles: - Abstraction λx.M: abstraction of a variable x over a 阅读全文
posted @ 2023-06-27 10:33 EncodeTalker 阅读(33) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示