edwinb/Idris-dev — pull request #284 by andy-morris (2013-04-16 01:10:27+00:00)
Title: sinh, cosh, tanh

I used the expressions with `exp` since it was easier than adding new primitives. If that'd be the better way to go, though, I can do that instead.

(ps. The inverses are left out because acosh and atanh aren't always real. `Float -> Maybe Float`, perhaps?)