lude

commit efb61710da76df73fd3edd4122942495aeb11c88
parent 30290c425b527854126ea04482d68b5be9feeabd
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon,  5 Oct 2026 00:23:30 -0700

Add big TODO

Diffstat:
M
TODO.md
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/TODO.md b/TODO.md
@@ -7,3 +7,7 @@
 - Reduce hom functor dupe with defaults exported from Hom
 - Heyting algebra (bounded lattice + implication?), Boolean algebra (heyting + excluded middle)
 - Representable functors for indexing, memoization, etc.
+
+- Basically everything should be unlifted by default, and all abstractions
+  should work with unlifted things (in addition to lifted things). In many
+  places, this means duplicating stuff.