[Import] ...

jmougeot · jmougeot · commit 20d5846ae7d8 · 2025-03-04T18:35:07.000-05:00
diff --git a/src/IO/Instances.agda b/src/IO/Instances.agda
@@ -7,7 +7,7 @@
 {-# OPTIONS --cubical-compatible --guardedness #-}
 
 module IO.Instances where
- 
+
 open import Effect.Functor using (RawFunctor)
 open import Effect.Applicative using (RawApplicative)
 open import Effect.Monad using (RawMonad)
