on v0.9.15 help sign in
Idris-dev/benchmarks
4 folders, 4 files
../ fasta/Fix bugs in fasta implementation pidigits/Some comments for pidigits quasigroups/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up trivial/Inlining - Evaluator now supports run-time terms ALLAdd benchmark pidigits 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