ホーム エクスプローラ ヘルプ
サインイン
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
ファイル 課題 0 プルリクエスト 0 Wiki
ブランチ: js_amd_patch
ブランチ タグ
agda
/
benchmark
/
monad
Ulf Norell d573394115 [ test ] update benchmarks for new std-lib commit 6 年 前
..
IndexedMap.agda aa93d46c40 Updated benchmark code (the standard library has been changed). 13 年 前
Monad.agda d573394115 [ test ] update benchmarks for new std-lib commit 6 年 前
MonadPostulates.agda d573394115 [ test ] update benchmarks for new std-lib commit 6 年 前