edwinb/Idris-dev — pull request #31 by MekeorMelire (2012-06-03 22:06:48+00:00)
Title: Added new functions in standard-library

I added
* ```repeat``` and ```replicate``` to ```prelude.list```,
* ```replicate``` to ```prelude.vect```, and
* ```hyper``` – the hyperoperation sequence – to ```prelude.nat```, where ```hyper n a b``` is the same as hyper_n(a,b) on https://en.wikipedia.org/wiki/Hyperoperation#Definition.

Since I don't know how to do that ```total```-stuff, I ask you to do so, if necessary.

Thanks