Add idrall (#68)

dhall-lang · Jan 16, 2025 · ce91599 · ce91599
1 parent a40d9aa
commit ce91599
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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)