Hoogle client for android