From 8d975df7984c514f3d12b1ed6515d3fc6dd61ba0 Mon Sep 17 00:00:00 2001
From: Ryan Orendorff <orendorff@magneticinsight.com>
Date: Mon, 29 Apr 2019 11:06:06 -0700
Subject: [PATCH] Add agda, agdi colors (same as Haskell colors)

---
 LS_COLORS | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/LS_COLORS b/LS_COLORS
index d0059d5..5984287 100644
--- a/LS_COLORS
+++ b/LS_COLORS
@@ -277,6 +277,9 @@ STICKY_OTHER_WRITABLE 48;5;235;38;5;139;3
 #   haskell
 .hs                   38;5;81
 .lhs                  38;5;81
+#   agda
+.agda                 38;5;81
+.agdai                38;5;110
 
 # binaries {{{2
 # compiled apps for interpreted languages