From eeb3dd73b30d6230081f8ab80a594a68424f33af Mon Sep 17 00:00:00 2001
From: Ryan Orendorff <orendorff@magneticinsight.com>
Date: Mon, 29 Apr 2019 11:13:32 -0700
Subject: [PATCH] Add literate Agda file types

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

diff --git a/LS_COLORS b/LS_COLORS
index 5984287..035aae9 100644
--- a/LS_COLORS
+++ b/LS_COLORS
@@ -279,6 +279,10 @@ STICKY_OTHER_WRITABLE 48;5;235;38;5;139;3
 .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