From 064104908862f02b3be4ed14bad38d7d4ca5587c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Kukie=C5=82a?=
 <53443372+kukimik@users.noreply.github.com>
Date: Sun, 12 Jan 2025 23:36:55 +0100
Subject: [PATCH] Add idrall

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

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)