1.mmhelloworld / idris-jvmIdris on the JVMidrisjvmjavaIdrisOther license483 total30 forks+6 starsfrom 476 · score 1.95