edwinb/Idris-dev — pull request #108 by Ralith (2012-11-28 23:01:40+00:00)
Title: Inline type annotation function

Hopefully this should negate inconvenience caused by the absence of an inline : a la haskell's ::.