GitHub repository: mmhelloworld/idris-jvm-auto-ffi-sample
Primary language: Idris
Created: 2018-07-25T06:42:12Z
Description: Idris JVM automated FFI example