Merge pull request #129 from ryanorendorff/agda

Agda
2019-05-05 12:02:24 -07:00 · 2019-05-05 12:02:24 -07:00 · 6fe816f958
parent 7831916423 eeb3dd73b3
commit 6fe816f958
1 changed files with 7 additions and 0 deletions
--- a/7
+++ b/7
@ -282,6 +282,13 @@ STICKY_OTHER_WRITABLE 48;5;235;38;5;139;3
 #   haskell
 .hs                   38;5;81
 .lhs                  38;5;81
+#   agda
+.agda                 38;5;81
+.lagda                38;5;81
+.lagda.tex            38;5;81
+.lagda.rst            38;5;81
+.lagda.md             38;5;81
+.agdai                38;5;110

 # binaries {{{2
 # compiled apps for interpreted languages