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

コミット履歴

作者 SHA1 メッセージ 日付
  Andrés Sicard-Ramírez b752b17dd1 [ api-test ] Added Agda file for the pretty-print test. 7 年 前
  Andreas Abel d39d94cdcd [ test/api ] Added type signature with syntax notation. 8 年 前
  Andreas Abel 75e634bf1a Hunt for #2437: debug printing, api test app 8 年 前
  Andrés Sicard-Ramírez 6ea0423cc7 [ issue 1168 ] Added test case 10 年 前