ホーム エクスプローラ ヘルプ
サインイン
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
ファイル 課題 0 プルリクエスト 0 Wiki
ブランチ: js_amd
ブランチ タグ

コミット履歴

作者 SHA1 メッセージ 日付
  Nils Anders Danielsson 95d4470c4c [ Issue 1109, Issue 1436 ] New default precedence level: unrelated. 10 年 前
  ulfn b5dc9b4961 minor changes to the simple lib 17 年 前
  ulfn 700b2c6cbf added simple-lib to the test suite and made some changes 17 年 前
  ulfn 78e4641897 added more stuff to simple-lib 17 年 前
  ulfn 299459d2b6 start on a very simple library 17 年 前