下载HDMI Reader Helper Pro
6.0 July 12, 2025- 9.4
- 1
- 2
- 3
- 4
- 5
android访问tryidris.org的API。
Try Idris是一个开源应用程序（https://github.com/codeblock/tryidris-android），可提供对Brian McKenna的http://tryidris.org/ json api的移动访问。该应用程序用Scala编写，并大量使用Scalaz库。与Tryidris.org API交互的库也是开源的（https://github.com/codeblock/codeblock/tryidris-scala），并大量使用Scalaz和Argonaut提供了纯粹的功能界面。
