Idris bindings for libsodium
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
src Use a character buffer for nonces, not raw strings Mar 2, 2014
LICENSE Initial commit Mar 2, 2014
sodium.ipkg First implementation of bindings and test Mar 2, 2014


Idris bindings for libsodium