android訪問tryidris.orgs api。 Try Idris是一個開源應用程序（https://github.com/codeblock/tryidris-android），可提供移動ACCE
版本
1.1.0
包名
me.elrod.tryidrisapp
類別
商務辦公
大小
728.1KB
發佈時間
May 16, 2025
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提供了純粹的功能界面。
下載 APK(728.1KB)