芦苇
发帖子
探索
今天发现最新帖子添加订阅
热门板块
🤖AI💡科技💻开发🧭产品🛠️工具
订阅
关注
下载芦苇 App ↗
我我的
进入阅读器模式

Category Theory of Terms Emphasizes the Argument List

Hey There Buddo!,Philip Zucker 的博客,关于编程、数学、逻辑与物理的技术写作。关注

One can’t see the forest for the trees.

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论

登录芦苇

登录后关注作者、收藏内容和参与讨论。

关于作者
Hey There Buddo!Philip Zucker 的博客,关于编程、数学、逻辑与物理的技术写作。
相关文章
精化 E-图查看相关内容
一个用 Lean 打印 Python 并查集的证明查看相关内容
Lambda MicroEgg:一个支持良好作用域 α 等价绑定器的 e-graph查看相关内容