首頁應用商務辦公 Try Idris

Try Idris

: 1; 2; 3; 4; 5

下載

版本 1.1.0
類別商務辦公
包名 me.elrod.tryidrisapp
更新時間 September 9, 2026
大小 728.1KB

關於此應用

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提供了純粹的功能界面。