idris-lang/Idris-dev — pull request #1084 by paulkoerbitz (2014-04-19 18:44:01+00:00)
Title: Add fasta benchmark

I have reimplemented the fasta benchmark from the [computer language benchmarks game](http://benchmarksgame.alioth.debian.org/) in Idris. The implementation is fairly closely based on the Haskell version.

I hope this is wanted, I remember seeing on the mailing list at some point in time that more benchmarks were desired.