Почетна Преглед Помоћ
Пријавите се
caryoscelus
/
agda
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Грана: js_amd
Гране Ознаке
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 година