ndmitchell/hoogle — pull request #31 by khorser (2013-09-14 17:37:22+00:00)
Title: Eanble some 'hoogle data' functionality for 'hoogle convert'

Hi Neil,

This patch extends the functionality of `hoogle convert` with some stuff from `hoogle data`