Ulf Norell
d573394115
[ test ] update benchmarks for new std-lib commit
|
6 년 전 | |
|---|---|---|
| .. | ||
| IndexedMap.agda | 13 년 전 | |
| Monad.agda | 6 년 전 | |
| MonadPostulates.agda | 6 년 전 | |
|
Ulf Norell
d573394115
[ test ] update benchmarks for new std-lib commit
|
6 년 전 | |
|---|---|---|
| .. | ||
| IndexedMap.agda | 13 년 전 | |
| Monad.agda | 6 년 전 | |
| MonadPostulates.agda | 6 년 전 | |