2023年6月27日
Type Theory and Formal Proof 读书笔记
摘要： 军训太闲了决定开个新坑? ~~(话说这种东西真的能叫军训嘛)~~ ## Untyped Lambda Calculus Construction principles: - Abstraction $\lambda x.M$: abstraction of a variable $x$ over a 阅读全文
posted @ 2023-06-27 10:33 EncodeTalker 阅读(32) 评论(0) 推荐(0) 编辑