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 來提供純函數式介面。閱讀更多信息
