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.
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