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

Commit History

作者 SHA1 備註 提交日期
  ulfn 93cbe1d5d5 some notes 19 年之前
  ulfn 5d23574034 more typing rules 19 年之前
  ulfn 15af083f8f started on type checking algorithm 19 年之前