Android access to tryidris.org's API.
Try Idris is an open source application (https://github.com/CodeBlock/tryidris-android) which provides mobile access to Brian McKenna's http://tryidris.org/ JSON API. The application is written in Scala and makes heavy use of the scalaz library. The library which powers interaction with the tryidris.org API is also open source (https://github.com/CodeBlock/tryidris-scala) and makes heavy use of scalaz and Argonaut to provide a purely functional interface.
January 1, 2026
January 1, 2026
January 1, 2026
January 1, 2026
January 1, 2026
December 31, 2025
December 31, 2025
December 31, 2025
December 30, 2025
December 30, 2025