lude

commit 720fd59ff5ce869a8bc9716634721b6368e64a2e
parent 5980a848fe0fecd59f92af930cc1702056fbf8c4
Author: Robert Russell <robert@rr3.xyz>
Date:   Thu, 15 Oct 2026 21:28:43 -0700

Todo: move source to prevent building it

Diffstat:
R
src/Todo/Bifunctors.hs -> Todo/Bifunctors.hs
 | 
0

R
src/Todo/DependentKinds.hs -> Todo/DependentKinds.hs
 | 
0

R
src/Todo/ExternalProduct.hs -> Todo/ExternalProduct.hs
 | 
0

R
src/Todo/HomIso.hs -> Todo/HomIso.hs
 | 
0

R
src/Todo/Quantifier.hs -> Todo/Quantifier.hs
 | 
0

R
src/Todo/SomeType.hs -> Todo/SomeType.hs
 | 
0

R
src/Todo/Yoneda.hs -> Todo/Yoneda.hs
 | 
0

7 files changed, 0 insertions(+), 0 deletions(-)
diff --git a/src/Todo/Bifunctors.hs b/Todo/Bifunctors.hs
diff --git a/src/Todo/DependentKinds.hs b/Todo/DependentKinds.hs
diff --git a/src/Todo/ExternalProduct.hs b/Todo/ExternalProduct.hs
diff --git a/src/Todo/HomIso.hs b/Todo/HomIso.hs
diff --git a/src/Todo/Quantifier.hs b/Todo/Quantifier.hs
diff --git a/src/Todo/SomeType.hs b/Todo/SomeType.hs
diff --git a/src/Todo/Yoneda.hs b/Todo/Yoneda.hs