注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. lambda-pi：出于我自己的教育目的，依赖于玩具的typechecker解释器-源码

  2. λΠ 依赖玩具的类型检查器，通过评估使用归一化进行娱乐，绝对没有利润。 与进行比较时，手工几乎是逐字记录。

  3. 所属分类：其它