lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE
commit 0448aa3d8f2e5c22bbeda64f267c84e6aced55ac
parent 720fd59ff5ce869a8bc9716634721b6368e64a2e
Author: Robert Russell <robert@rr3.xyz>
Date:   Thu, 15 Oct 2026 21:30:18 -0700

Todo: rename to prevent LSP seeing it

Diffstat:

RTodo/Bifunctors.hs -> Todo/Bifunctors.hs.txt | 0


RTodo/DependentKinds.hs -> Todo/DependentKinds.hs.txt | 0


RTodo/ExternalProduct.hs -> Todo/ExternalProduct.hs.txt | 0


RTodo/HomIso.hs -> Todo/HomIso.hs.txt | 0


RTodo/Quantifier.hs -> Todo/Quantifier.hs.txt | 0


RTodo/SomeType.hs -> Todo/SomeType.hs.txt | 0


RTodo/Yoneda.hs -> Todo/Yoneda.hs.txt | 0


7 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/Todo/Bifunctors.hs b/Todo/Bifunctors.hs.txt
diff --git a/Todo/DependentKinds.hs b/Todo/DependentKinds.hs.txt
diff --git a/Todo/ExternalProduct.hs b/Todo/ExternalProduct.hs.txt
diff --git a/Todo/HomIso.hs b/Todo/HomIso.hs.txt
diff --git a/Todo/Quantifier.hs b/Todo/Quantifier.hs.txt
diff --git a/Todo/SomeType.hs b/Todo/SomeType.hs.txt
diff --git a/Todo/Yoneda.hs b/Todo/Yoneda.hs.txt