Android 访问 tryidris.org 的 API。
Try Idris是一个开源应用程序 (https://github.com/CodeBlock/tryidris-android)，它提供对 Brian McKenna 的 http://tryidris.org/ JSON API 的移动访问。该应用程序是用 Scala 编写的，并大量使用了 scalaz 库。支持与 tryidris.org API 交互的库也是开源的 (https://github.com/CodeBlock/tryidris-scala)，并大量使用 scalaz 和 Argonaut 来提供纯函数式接口。阅读更多信息
