首頁 探索 說明
登入
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 年之前