From 1fae89c1c06a9a4d6143cafa1afb932b94cc4b71 Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Wed, 28 Feb 2024 12:42:37 -0600
Subject: Add coequalizer theorem

---
 Util.agda | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Util.agda')

diff --git a/Util.agda b/Util.agda
index b30aeb5..0c79b17 100644
--- a/Util.agda
+++ b/Util.agda
@@ -1,3 +1,4 @@
+{-# OPTIONS --without-K --safe #-}
 module Util where
 
 open import Data.Fin using (Fin; toℕ)
-- 
cgit v1.2.3