lude

commit 21ff37a2cec6b24b5d54caeb010fc04ed36e1a04
parent e7254ecdb61bed508b1cc6124703b20d49db2d40
Author: Robert Russell <robert@rr3.xyz>
Date:   Thu,  3 Sep 2026 10:19:06 -0700

Add TODOs

Diffstat:
M
src/Lude/Unit.hs
 | 
1
+
M
src/Lude/Void.hs
 | 
1
+

2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/Lude/Unit.hs b/src/Lude/Unit.hs
@@ -9,5 +9,6 @@ import Prelude.Experimental (Unit)
 
 --------------------------------------------------------------------------------
 
+-- TODO: Generalize to terminal objects for any category
 trivial :: forall a. a -> Unit
 trivial _ = ()
diff --git a/src/Lude/Void.hs b/src/Lude/Void.hs
@@ -9,5 +9,6 @@ import Data.Void (Void)
 
 --------------------------------------------------------------------------------
 
+-- TODO: Generalize to initial objects for any category
 absurd :: forall a. Void -> a
 absurd = \case {}