首页 发现 帮助
登录
caryoscelus
/
agda
关注 1
点赞 0
派生 0
文件 工单管理 0 合并请求 0 Wiki
分支: js_amd_patch
分支列表 标签列表

提交历史

作者 SHA1 备注 提交日期
  ulfn 76730c04f7 fixed broken benchmark examples 10 年之前
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 年之前
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 年之前