From 28ee4ba605979bda3bd05092730deb94a110dc22 Mon Sep 17 00:00:00 2001
From: Thorn Avery <s@p7.co.nz>
Date: Wed, 2 Jun 2021 03:12:39 +0000
Subject: [PATCH] i hate this

---
 overlay.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/overlay.nix b/overlay.nix
index a560c36..7cdd5cb 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -10,7 +10,6 @@ customPlugins: self: super: {
             "vimwiki"
             "slimv"
             "vim-racket"
-            "idris2"
           ];
         };
         customRC = ''
@@ -25,7 +24,6 @@ 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