Android access to tryidris.org's API.
Try Idris is an open source application (https://github.com/CodeBlock/tryidris-android) which provides mobile access to Brian McKenna's http://tryidris.org/ JSON API. The application is written in Scala and makes heavy use of the scalaz library. The library which powers interaction with the tryidris.org API is also open source (https://github.com/CodeBlock/tryidris-scala) and makes heavy use of scalaz and Argonaut to provide a purely functional interface.
Download