As of 0.9.17, Idris will have a new foreign function interface (FFI) which ... but if you are writing bindings for an external library, writing a back end, ...
確定! 回上一頁