9.4
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 16, 2026
January 16, 2026
January 14, 2026
January 14, 2026
January 14, 2026
January 13, 2026
January 13, 2026
January 13, 2026
January 12, 2026
January 12, 2026
January 11, 2026
January 11, 2026