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/codeblock/tryidris-scala），并大量使用Scalaz和Argonaut提供了纯粹的功能界面。阅读更多信息
