edwinb/Idris-dev — pull request #3 by nlogax (2012-01-21 13:49:25+00:00)
Title: Add head and tail for lists

Where head : List a -> Maybe a for totalness.