| 2026-10-16 22:10 | Development: init, with new Todo type | Robert Russell | 4 | +30 | -20 |
| 2026-10-16 19:26 | Maybe: add Functorial and Monadic instances | Robert Russell | 2 | +4 | -0 |
| 2026-10-16 19:23 | Todo: extend | Robert Russell | 1 | +2 | -0 |
| 2026-10-16 17:16 | List: add index | Robert Russell | 1 | +18 | -0 |
| 2026-10-16 17:14 | Algebra.Magma: add fromInteger | Robert Russell | 1 | +31 | -8 |
| 2026-10-16 17:12 | Natural, Haskell.Natural: add patterns and reorganize; Integer, Haskell.Integer: init | Robert Russell | 5 | +65 | -1 |
| 2026-10-16 04:30 | Todo: rename to prevent LSP seeing it | Robert Russell | 7 | +0 | -0 |
| 2026-10-16 04:28 | Todo: move source to prevent building it | Robert Russell | 7 | +0 | -0 |
| 2026-10-16 04:22 | Algebra.Magma: add Text instances | Robert Russell | 1 | +13 | -0 |
| 2026-10-16 04:10 | Algebra.Magma: rename/refactor to make less clunky | Robert Russell | 1 | +450 | -407 |
| 2026-10-16 00:57 | Error: add better exception-throwing util functions | Robert Russell | 1 | +40 | -5 |
| 2026-10-16 00:55 | Haskell.Exception: init | Robert Russell | 3 | +32 | -2 |
| 2026-10-16 00:28 | Haskell.Partial: init | Robert Russell | 2 | +38 | -0 |
| 2026-10-15 22:20 | Haskell: move reexports into Core | Robert Russell | 2 | +3 | -5 |
| 2026-10-15 08:16 | Algebra.Magma: rename | Robert Russell | 1 | +87 | -87 |
| 2026-10-15 04:27 | Algebra.Magma: init (WIP) | Robert Russell | 2 | +756 | -0 |
| 2026-10-15 04:16 | Haskell.Bool: init | Robert Russell | 2 | +18 | -0 |
| 2026-10-15 04:15 | Haskell.Functional: add coercion stuff | Robert Russell | 1 | +8 | -0 |
| 2026-10-15 04:14 | Equivalence, Order: add numeric instances | Robert Russell | 5 | +25 | -0 |
| 2026-10-15 00:07 | Todo: fix ambiguous reference | Robert Russell | 1 | +1 | -1 |
| 2026-10-14 23:21 | Maybe: add tentative Repr-generic Maybe# type | Robert Russell | 3 | +90 | -3 |
| 2026-10-14 23:20 | Haskell.Functional: add Box type to Functional# class, and use CPP for Functional# instances | Robert Russell | 1 | +30 | -16 |
| 2026-10-10 01:47 | Haskell.Functional: add ($#) | Robert Russell | 3 | +9 | -4 |
| 2026-10-10 01:12 | Move fixity declarations | Robert Russell | 10 | +54 | -49 |
| 2026-10-10 00:18 | Todo: add reference to HomIso | Robert Russell | 1 | +2 | -0 |
| 2026-10-09 22:21 | Error: reexport assert | Robert Russell | 1 | +3 | -1 |
| 2026-10-09 19:47 | Todo: add experiment | Robert Russell | 1 | +415 | -0 |
| 2026-10-09 19:45 | Haskell: add For | Robert Russell | 1 | +9 | -0 |
| 2026-10-09 19:44 | Haskell: move (~) and (~~); remove (:~:) and (:~~:) | Robert Russell | 3 | +7 | -15 |
| 2026-10-09 19:38 | Error: add GHC.TypeError stuff | Robert Russell | 1 | +35 | -0 |
| 2026-10-09 19:06 | Maybe: reexport some stuff and add default operator | Robert Russell | 1 | +9 | -1 |
| 2026-10-09 18:52 | Haskell: reexport Symbol | Robert Russell | 1 | +1 | -1 |
| 2026-10-09 18:51 | Algebra.Category: add NT_ and BiNT_ | Robert Russell | 2 | +16 | -8 |
| 2026-10-08 00:06 | Algebra.Category, Function: add application operators (with good fixity) | Robert Russell | 3 | +52 | -38 |
| 2026-10-07 23:58 | Bool: reexport type-level stuff | Robert Russell | 1 | +8 | -0 |
| 2026-10-06 23:36 | Haskell: add type-level composition operators | Robert Russell | 2 | +26 | -7 |
| 2026-10-06 23:25 | Pair: add Unicode alias | Robert Russell | 1 | +15 | -15 |
| 2026-10-05 17:04 | Pair: add tentative combinators for Repr-generic pair manipulations | Robert Russell | 5 | +202 | -34 |
| 2026-10-05 17:01 | Todo: organize uncommitted experiments | Robert Russell | 6 | +268 | -0 |
| 2026-10-05 17:01 | Clean up | Robert Russell | 2 | +8 | -54 |
| 2026-10-05 16:53 | Haskell: reorganize tuples; add type/pattern constructors | Robert Russell | 4 | +187 | -53 |
| 2026-10-05 16:51 | Algebra.Category.Bifunctor: add Binaturally and bicomp | Robert Russell | 1 | +36 | -0 |
| 2026-10-05 07:23 | Add big TODO | Robert Russell | 1 | +4 | -0 |
| 2026-10-04 21:02 | Function: add "#" to end of composition operators to avoid conflict with Algebra.Category (tentative/temporary) | Robert Russell | 2 | +58 | -20 |
| 2026-10-04 20:27 | Haskell: make Function consistent with Type | Robert Russell | 2 | +18 | -12 |
| 2026-10-04 05:25 | Add missing fixity declarations | Robert Russell | 2 | +5 | -0 |
| 2026-10-04 03:12 | Haskell: add Brand and OpenKind | Robert Russell | 2 | +30 | -6 |
| 2026-10-04 00:17 | Maybe: change unsafe naming scheme | Robert Russell | 2 | +4 | -4 |
| 2026-10-03 22:58 | Todo: update | Robert Russell | 1 | +3 | -4 |
| 2026-09-30 17:51 | Todo: add slop on zap (functor-functor interactions) | Robert Russell | 1 | +57 | -0 |
| 2026-09-25 04:28 | Todo: delete junk | Robert Russell | 1 | +0 | -165 |
| 2026-09-25 04:16 | Todo: add idea related to Repr-generic types | Robert Russell | 1 | +30 | -0 |
| 2026-09-24 17:41 | Haskell: reorganize | Robert Russell | 13 | +125 | -100 |
| 2026-09-24 16:57 | Todo: rename files to avoid LSP errors | Robert Russell | 5 | +582 | -583 |
| 2026-09-24 16:50 | Todo: more slop info | Robert Russell | 1 | +131 | -0 |
| 2026-09-24 16:30 | Todo: add slop Claude transcript | Robert Russell | 1 | +234 | -0 |
| 2026-09-23 01:02 | Unit: add Unit# | Robert Russell | 2 | +10 | -0 |
| 2026-09-22 21:41 | Haskell: make Repr arguments explicit | Robert Russell | 13 | +94 | -74 |
| 2026-09-22 21:27 | Add TODO | Robert Russell | 1 | +1 | -0 |
| 2026-09-21 23:21 | Add/remove some TODOs | Robert Russell | 3 | +10 | -12 |
| 2026-09-21 23:20 | Algebra.Category.Iso: add isoCoerce TODO | Robert Russell | 1 | +6 | -0 |
| 2026-09-21 19:46 | Algebra.Category.Bifunctor: reorder prefixes in class names | Robert Russell | 1 | +9 | -9 |
| 2026-09-19 22:46 | Function: add fork (phi combinator) | Robert Russell | 2 | +10 | -3 |
| 2026-09-18 18:23 | Update README | Robert Russell | 1 | +15 | -1 |
| 2026-09-17 05:26 | Add some TODOs | Robert Russell | 1 | +7 | -0 |
| 2026-09-17 05:21 | Order: init | Robert Russell | 8 | +224 | -1 |
| 2026-09-17 05:11 | Consolidate interop newtypes | Robert Russell | 5 | +27 | -27 |
| 2026-09-16 23:52 | Error: init | Robert Russell | 2 | +9 | -0 |
| 2026-09-16 23:44 | Function: add Repr-polymorphic combinators | Robert Russell | 6 | +154 | -58 |
| 2026-09-16 20:18 | Rename some qualified imports | Robert Russell | 4 | +13 | -11 |
| 2026-09-16 20:14 | Add Equivalence module | Robert Russell | 3 | +97 | -3 |
| 2026-09-16 20:13 | Haskell: add Generic module | Robert Russell | 3 | +140 | -0 |
| 2026-09-16 17:52 | Haskell: add Functional# class for representation-genericity | Robert Russell | 4 | +68 | -14 |
| 2026-09-16 16:48 | Algebra.Category: add commented-out InteropCategory (there are issues with witnessMor) | Robert Russell | 1 | +10 | -3 |
| 2026-09-14 23:05 | Pair: add type-level Fst and Snd | Robert Russell | 1 | +10 | -0 |
| 2026-09-14 22:59 | Add tentative Pair module | Robert Russell | 2 | +10 | -40 |
| 2026-09-14 22:51 | Haskell.Category: add binatural transformations | Robert Russell | 1 | +11 | -1 |
| 2026-09-14 22:45 | Algebra.Category.Bifunctor: add missing fundeps | Robert Russell | 1 | +2 | -2 |
| 2026-09-14 22:41 | Algebra.Category.Bifunctor: fix exports | Robert Russell | 1 | +3 | -0 |
| 2026-09-14 22:32 | Algebra.Category: fix (==>) fixity | Robert Russell | 1 | +4 | -0 |
| 2026-09-14 22:18 | Add Text | Robert Russell | 3 | +9 | -0 |
| 2026-09-14 21:28 | Lude.Algebra.Category: add nmap | Robert Russell | 1 | +6 | -0 |
| 2026-09-14 20:56 | Lude.Algebra.Category: interop with base Functor/Monad classes | Robert Russell | 4 | +41 | -14 |
| 2026-09-14 20:18 | Haskell: reexport IsList and IsString | Robert Russell | 1 | +2 | -0 |
| 2026-09-14 19:21 | Add Natural | Robert Russell | 2 | +8 | -0 |
| 2026-09-14 19:19 | Add Maybe | Robert Russell | 2 | +8 | -0 |
| 2026-09-12 17:29 | Algebra.Category.Algebra: refactor | Robert Russell | 2 | +97 | -55 |
| 2026-09-11 00:56 | Algebra.Category: rename Natural to Naturally | Robert Russell | 9 | +18 | -18 |
| 2026-09-10 18:50 | IO: reexport | Robert Russell | 1 | +1 | -0 |
| 2026-09-10 18:48 | Add IO | Robert Russell | 1 | +21 | -0 |
| 2026-09-10 18:48 | Algebra.Category: RebindableSyntax | Robert Russell | 1 | +19 | -3 |
| 2026-09-10 18:27 | Add README | Robert Russell | 1 | +1 | -0 |
| 2026-09-10 18:24 | Reorganize | Robert Russell | 9 | +114 | -704 |
| 2026-09-10 05:13 | Algebra.Category: add semigroupal and monoidal functors, and add cartesian categories | Robert Russell | 3 | +95 | -4 |
| 2026-09-10 04:46 | Algebra.Category: add Adjunction | Robert Russell | 1 | +35 | -0 |
| 2026-09-10 04:46 | Algebra.Category: remove CatOfEndo in favor of just Dom | Robert Russell | 2 | +5 | -9 |
| 2026-09-10 00:55 | Algebra.Category: add Iso | Robert Russell | 3 | +45 | -47 |
| 2026-09-10 00:31 | Algebra.Category.Bifunctor: add class aliases | Robert Russell | 2 | +33 | -27 |
| 2026-09-10 00:16 | Algebra.Category: add Monad | Robert Russell | 3 | +63 | -3 |
| 2026-09-09 21:53 | Refactor Haskell-specific things; extend/update Algebra.Category | Robert Russell | 36 | +1072 | -632 |
| 2026-09-07 03:49 | Algebra.Category: simplify preserveObj | Robert Russell | 1 | +1 | -16 |
| 2026-09-07 00:46 | Algebra.Category: add Discrete | Robert Russell | 2 | +18 | -0 |
| 2026-09-05 05:26 | Make Evidence into a functor | Robert Russell | 2 | +19 | -6 |
| 2026-09-05 04:23 | Remove puns | Robert Russell | 9 | +25 | -25 |
| 2026-09-05 04:10 | Improve Canonically | Robert Russell | 6 | +17 | -9 |
| 2026-09-05 03:52 | Generalize deduce | Robert Russell | 1 | +12 | -15 |
| 2026-09-05 03:34 | Add initial and terminal objects for Function and Entailment | Robert Russell | 6 | +32 | -22 |
| 2026-09-05 03:21 | Reorganize | Robert Russell | 14 | +463 | -353 |
| 2026-09-04 19:19 | Add (co)algebras for endofunctors | Robert Russell | 1 | +79 | -0 |
| 2026-09-04 04:22 | Update category stuff | Robert Russell | 6 | +288 | -341 |
| 2026-09-03 18:28 | Clean up | Robert Russell | 2 | +35 | -6 |
| 2026-09-03 17:19 | Add TODOs | Robert Russell | 2 | +2 | -0 |
| 2026-09-03 17:08 | Add NoStarIsType | Robert Russell | 1 | +1 | -0 |
| 2026-09-03 07:13 | WIP | Robert Russell | 5 | +134 | -10 |
| 2026-08-09 21:45 | Add Unit | Robert Russell | 2 | +14 | -4 |
| 2026-08-09 20:43 | Enable NoListTuplePuns and clean up | Robert Russell | 7 | +72 | -23 |
| 2026-08-02 02:52 | Update config files | Robert Russell | 3 | +35 | -2 |
| 2026-03-22 07:44 | Rename Ob to Obj | Robert Russell | 2 | +36 | -29 |
| 2026-03-15 21:46 | Complete categorical products and sums | Robert Russell | 1 | +36 | -57 |
| 2026-03-15 21:19 | Clean up | Robert Russell | 6 | +196 | -102 |
| 2026-03-11 06:53 | Add more ideas | Robert Russell | 1 | +18 | -7 |
| 2026-03-11 06:41 | Ngl I'm kinda cooking | Robert Russell | 1 | +186 | -0 |
| 2026-03-11 06:40 | Tidy Pair and Either | Robert Russell | 2 | +11 | -0 |
| 2026-03-11 03:41 | Reexport equality types | Robert Russell | 2 | +6 | -10 |
| 2026-03-11 01:48 | Add Pair and Either | Robert Russell | 2 | +34 | -0 |
| 2026-03-11 01:11 | Add Fst and Snd | Robert Russell | 1 | +10 | -0 |
| 2026-03-11 01:05 | Add Void | Robert Russell | 1 | +15 | -0 |
| 2026-03-10 20:54 | Move GHC option | Robert Russell | 2 | +1 | -2 |
| 2026-03-10 20:52 | Bump Stack LTS version | Robert Russell | 1 | +1 | -1 |
| 2026-03-10 20:51 | Bump LICENSE year | Robert Russell | 1 | +2 | -3 |
| 2026-03-10 20:51 | Improve Kind | Robert Russell | 2 | +32 | -16 |
| 2026-03-10 20:29 | Add constrained example | Robert Russell | 2 | +19 | -0 |
| 2026-03-09 07:10 | Add more human slop | Robert Russell | 3 | +349 | -228 |
| 2026-03-02 02:21 | Add work on generalized category type classes | Robert Russell | 2 | +133 | -1 |
| 2026-02-28 20:28 | Disable Repr patterns | Robert Russell | 2 | +27 | -28 |
| 2026-02-28 17:05 | Add Kind and Repr modules | Robert Russell | 2 | +119 | -0 |
| 2026-01-02 05:56 | Update package.yaml and stack.yaml | Robert Russell | 2 | +20 | -9 |
| 2025-06-02 04:19 | Add stuff from experiments | Robert Russell | 2 | +430 | -58 |
| 2025-05-04 07:48 | Initial commit | Robert Russell | 5 | +287 | -0 |
