diff --git a/README.markdown b/README.markdown
index a1868b9c..8c07a23c 100644
--- a/README.markdown
+++ b/README.markdown
@@ -217,6 +217,7 @@ them from different languages is easier.
 
 * Erlang: [Erlang-NaCl](https://github.com/tonyg/erlang-nacl)
 * Haskell: [Saltine](https://github.com/tel/saltine)
+* Idris: [Idris-Sodium](https://github.com/jfdm/idris-sodium)
 * 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)
diff --git a/THANKS b/THANKS
index 39443c60..f4da3fcb 100644
--- a/THANKS
+++ b/THANKS
@@ -6,6 +6,7 @@ Bruno Oliveira (@abstractj)
 Chris Rebert (@cvrebert)
 Donald Stufft (@dstufft)
 Douglas Campos (@qmx)
+Jan de Muijnck-Hughes (@jfdm)
 Jeroen Habraken (@VeXocide)
 Joseph Abrahamson (@tel)
 Kenneth Ballenegger (@kballenegger)