commit b514c9d4029467a239fcd945223a0995b53fe7f2 parent 49a01b92e7a020244dd2b1de820b5d16a5404661 Author: Robert Russell <robert@rr3.xyz> Date: Tue, 22 Sep 2026 14:27:10 -0700 Add TODO Diffstat:
| M | TODO.md | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/TODO.md b/TODO.md @@ -7,3 +7,4 @@ - 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)