Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
caryoscelus
/
agda
Pridať medzi pozorované 1
Hviezda 0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: js_amd_patch
Branche Tagy
agda
/
benchmark
/
monad
Ulf Norell d573394115 [ test ] update benchmarks for new std-lib commit 6 rokov pred
..
IndexedMap.agda aa93d46c40 Updated benchmark code (the standard library has been changed). 13 rokov pred
Monad.agda d573394115 [ test ] update benchmarks for new std-lib commit 6 rokov pred
MonadPostulates.agda d573394115 [ test ] update benchmarks for new std-lib commit 6 rokov pred