Accès Android à l'API de TryIdris.org.
Try Idris est une application open source (https://github.com/codeblock/tryidris-android) qui fournit un accès mobile à l'API http://tryidris.org/ JSON de Brian McKenna. L'application est écrite dans Scala et utilise fortement la bibliothèque Scalez. La bibliothèque qui alimente l'interaction avec l'API tryidris.org est également open source (https://github.com/codeblock/tryidris-scala) et utilise fortement Scalaz et Argonaut pour fournir une interface purement fonctionnelle.