diff --git a/README.md b/README.md
index ae7f376..df66796 100644
--- a/README.md
+++ b/README.md
@@ -27,6 +27,7 @@ A curated list of awesome dhall-lang binding, libraries and anything related to
 - [dhall-python](https://github.com/s-zeng/dhall-python) - Python language support.
 - [dhall-unison](https://github.com/hagl/dhall-unison) - Unison language support.
 - [scall](https://github.com/winitzki/scall) - Scala language support.
+- [idrall](https://github.com/alexhumphreys/idrall) - Idris language support.
 
 ## Integration
 - [dhall-rails](https://git.sr.ht/~singpolyma/dhall-rails)