ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 14:38:20 +03:00
Code Issues Projects Releases Wiki Activity
02ea51a484
Idris-dev/benchmarks/ALL
Sebastian de Bellefon 6e9ae3e176 Add benchmark pidigits 
Memory usage is quite high
2014-09-25 16:32:44 +02:00

5 lines
84 B
Plaintext
Raw Blame History

trivial/sortvec 2000
quasigroups/qgsolve board
fasta/fasta 1
pidigits/pidigits 3000
Reference in New Issue View Git Blame Copy Permalink