Try Idris
8.4
1.1.0
2024-12-15
最新版本
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提供了純粹的功能界面。