7.1
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.May 14, 2026
May 14, 2026
May 14, 2026
May 14, 2026
May 14, 2026
May 14, 2026
May 14, 2026
May 13, 2026
May 13, 2026
May 13, 2026
May 13, 2026
May 13, 2026