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

提交歷史

作者 SHA1 備註 提交日期
  Nils Anders Danielsson 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. 15 年之前
  ulfn 5968d8f8e8 minor fixes to examples 18 年之前
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic 18 年之前