From 5ea5a27aad96543cbfb8f59418a6f9759b65aced Mon Sep 17 00:00:00 2001
From: Thorn Avery <s@p7.co.nz>
Date: Wed, 26 May 2021 02:19:13 +0000
Subject: [PATCH] testing idris2 syntax

---
 overlay.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/overlay.nix b/overlay.nix
index 91ed64b..a560c36 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -25,6 +25,7 @@ customPlugins: self: super: {
 
           if has("autocmd")
             au BufReadPost *.rkt,*.rktl set filetype=racket
+            au BufReadPost *.lidr set filetype=idris
             au filetype racket set lisp
             au filetype racket set autoindent
           endif