稀土掘金 稀土掘金
    • 首页
    • AI Coding NEW
    • 沸点
    • 课程
    • 直播
    • 活动
    • AI刷题
    • APP
      插件
      • 搜索历史 清空
        • 写文章
        • 发沸点
        • 写笔记
        • 写代码
        • 草稿箱
        创作灵感 查看更多
    • vip
      会员
确定删除此收藏集吗
删除后此收藏集将被移除
取消
确定删除
确定删除此文章吗
删除后此文章将被从当前收藏集中移除
取消
确定删除
编辑收藏集
0 /100
TypeSystem
订阅
avatar
这周你想干啥
更多收藏集

微信扫码分享

微信
新浪微博
QQ

1篇文章 · 0订阅
  • TAPL《类型和程序设计语言》第三章笔记
    为什么没有第二章的笔记呢?因为第二章全章都是在科普数学知识。 第二章 数学预备知识 翻译半天,我发现看这个课件 就可以了 集合 Sets, 关联 Relations, and 函数 Functions
    • 方应杭
    • 4年前
    • 1.5k
    • 3
    • 2
    TypeScript