Idris bindings for libsodium