lude

commit 96bf5b1f0bc63ad33b32a5e171469ee05a136423
parent 6b985a5de3d4d311a1bb4b3e9e76d5fd738e3def
Author: Robert Russell <robert@rr3.xyz>
Date:   Sat,  3 Oct 2026 15:58:30 -0700

Todo: update

Diffstat:
M
TODO.md
 | 
7
+++----

1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/TODO.md b/TODO.md
@@ -1,10 +1,9 @@
-- Semigroups, Monoids, Groups (Add, Mul, Generic, ...?)
-- Ring, Field, ...?
-- Put Torsors as a TODO.
+- Torsors
 - Integer, Natural, Rational, {Int,Nat}{8,16,32,64}
-- Put Flt{32,64} as a TODO.
+- Flt{32,64}
 - Text/String
 - containers
 - Some, All, End, Coend, etc.
 - 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.