git.iko.soy/Idris-dev
on fe569c4 help sign in
Idris-dev/benchmarks
3 folders, 4 files
../ fasta/Fix bugs in fasta implementation quasigroups/Finished making standard library naming consistent trivial/Inlining - Evaluator now supports run-time terms ALLAdd fasta benchmark to benchmarks/ALL 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