Add agda, agdi colors (same as Haskell colors)

2019-04-29 11:06:06 -07:00 · 2019-04-29 11:06:06 -07:00 · 8d975df798
parent 682adbc354
commit 8d975df798
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -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