首頁 探索 說明
登入
caryoscelus
/
agda
關註 1
讚好 0
複刻 0
檔案 問題管理 0 合併請求 0 Wiki
分支: js_amd_patch
分支列表 標籤列表

提交歷史

作者 SHA1 備註 提交日期
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 年之前
  Nils Anders Danielsson 9e28c3ca62 Code which demonstrates poor performance for records. 15 年之前