git.iko.soy/Idris-dev
on v0.9.10 help sign in
Idris-dev/benchmarks
2 folders, 4 files
../ quasigroups/Add test board and wire up quasigroup solver to benchmark tools trivial/Inlining - Evaluator now supports run-time terms ALLAdd test board and wire up quasigroup solver to benchmark tools READMEAdded simple benchmark system build.plChange from shebangs with absolute references to using /usr/bin/env run.plChange from shebangs with absolute references to using /usr/bin/env