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提供了純粹的功能界面。
下載