From dbe51e8ff86789de75808c4e775807a3fb639574 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Wed, 12 Mar 2014 09:04:18 -0700 Subject: [PATCH] Update the link to Sodium-Idris, via mwarning@ --- README.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.markdown b/README.markdown index 87c56285..24360612 100644 --- a/README.markdown +++ b/README.markdown @@ -207,7 +207,7 @@ them from different languages is easier. * Erlang: [Erlang-NaCl](https://github.com/tonyg/erlang-nacl) * Erlang: [Salt](https://github.com/freza/salt) * Haskell: [Saltine](https://github.com/tel/saltine) -* Idris: [Idris-Sodium](https://github.com/jfdm/idris-sodium) +* Idris: [Idris-Sodium](https://github.com/edwinb/sodium-idris) * Java: [Kalium](https://github.com/abstractj/kalium) * Java JNI: [Kalium-JNI](https://github.com/joshjdevl/kalium-jni) * Julia: [Sodium.jl](https://github.com/amitmurthy/Sodium.jl)