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

提交歷史

作者 SHA1 備註 提交日期
  andreas.abel 7d12e7bfe8 removed bug in termination checker causing call to be collected up to four times 16 年之前
  ulfn f579af2a84 removed termination examples with constructor names not mattering 16 年之前
  andreas.abel 2537421840 more-termination-examples 16 年之前