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

コミット履歴

作者 SHA1 メッセージ 日付
  Robert Estelle 1b0a5aff0d make: Consistently invoke make via $(MAKE) 4 年 前
  Andreas Abel b6f4d90936 [ doc ] Re #2851: updated user manual on literal overloading. 7 年 前
  Andreas Abel 18a1dd18a1 [ doc ] Local Makefile in language/ 8 年 前