3 ms·

This link to the latest readme.md may be helpful. https://github.com/mmhelloworld/idris-jvm/blob/latest/README.md https://github.com/mmhelloworld/idris-jvm/blo

by IncRnd 4y ago

This link to the latest readme.md may be helpful. https://github.com/mmhelloworld/idris-jvm/blob/latest/README.md https://github.com/mmhelloworld/idris-jvm/blob/latest/README...