From 8cf260ee2edd54dfc4803b34655a68c1d9395f05 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 17 Mar 2023 21:50:04 +0100
Subject: [PATCH] reorder some imports

---
 lib/Quox/Name.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/Quox/Name.idr b/lib/Quox/Name.idr
index 9420e36..cee177f 100644
--- a/lib/Quox/Name.idr
+++ b/lib/Quox/Name.idr
@@ -1,10 +1,10 @@
 module Quox.Name
 
+import Quox.CharExtra
 import public Data.SnocList
 import Data.List
-import Derive.Prelude
-import Quox.CharExtra
 import Text.Lexer
+import Derive.Prelude
 
 %hide TT.Name