From dbcd884f501c7c9aa9e0b718216cb9818afd01d1 Mon Sep 17 00:00:00 2001
From: Jesper Cockx <jesper@sikanda.be>
Date: Fri, 8 Dec 2023 11:13:44 +0100
Subject: [PATCH] Move Thunk.agda from Haskell/Prim to Haskell/Extra

---
 lib/Haskell/{Prim => Extra}/Thunk.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename lib/Haskell/{Prim => Extra}/Thunk.agda (90%)

diff --git a/lib/Haskell/Prim/Thunk.agda b/lib/Haskell/Extra/Thunk.agda
similarity index 90%
rename from lib/Haskell/Prim/Thunk.agda
rename to lib/Haskell/Extra/Thunk.agda
index 05372887..4f02e2b1 100644
--- a/lib/Haskell/Prim/Thunk.agda
+++ b/lib/Haskell/Extra/Thunk.agda
@@ -1,6 +1,6 @@
 {-# OPTIONS --sized-types #-}
 
-module Haskell.Prim.Thunk where
+module Haskell.Extra.Thunk where
 
 open import Agda.Builtin.Size public