I was super excited about this until I found there didn't seem to be any library support. The best thing about the JVM is the maven ecosystem; if I can't write a library in Idris, build it with maven and publish it to a maven repository then I lose most of the advantages.
(I briefly looked at trying to improve this state of affairs, but all the Idris implementation seems to be in Haskell)
3 comments
[ 3.0 ms ] story [ 19.6 ms ] thread(I briefly looked at trying to improve this state of affairs, but all the Idris implementation seems to be in Haskell)