lude, branch HEAD

Development: init, with new Todo type

2026-10-16T22:10:43Z

commit 5734a274aeb30dc1ddc4bd4eeb305f7d0f9e0e93 parent 106b54394f299710db6c25abb5853713a51c67d8 Author: Robert Russell Date: Fri, 16 Oct 2026 15:10:43 -0700 Development: init, with new Todo type

Maybe: add Functorial and Monadic instances

2026-10-16T19:26:33Z

commit 106b54394f299710db6c25abb5853713a51c67d8 parent 539a8d5bca679eba6bba70da021184198cd91270 Author: Robert Russell Date: Fri, 16 Oct 2026 12:26:33 -0700 Maybe: add Functorial and Monadic instances

Todo: extend

2026-10-16T19:23:09Z

commit 539a8d5bca679eba6bba70da021184198cd91270 parent ba7503faee0f37511fe96c3f1cf1b0379a30526c Author: Robert Russell Date: Fri, 16 Oct 2026 12:23:09 -0700 Todo: extend

List: add index

2026-10-16T17:16:02Z

commit ba7503faee0f37511fe96c3f1cf1b0379a30526c parent b40f468c8ea5209a59a422eb9ecb9ab26f92794f Author: Robert Russell Date: Fri, 16 Oct 2026 10:16:02 -0700 List: add index

Algebra.Magma: add fromInteger

2026-10-16T17:14:45Z

commit b40f468c8ea5209a59a422eb9ecb9ab26f92794f parent e6a72b4809b29d1a2dba3d5766001ef2b3df7e41 Author: Robert Russell Date: Fri, 16 Oct 2026 10:14:45 -0700 Algebra.Magma: add fromInteger

Natural, Haskell.Natural: add patterns and reorganize; Integer, Haskell.Integer: init

2026-10-16T17:12:05Z

commit e6a72b4809b29d1a2dba3d5766001ef2b3df7e41 parent 0448aa3d8f2e5c22bbeda64f267c84e6aced55ac Author: Robert Russell Date: Fri, 16 Oct 2026 10:12:05 -0700 Natural, Haskell.Natural: add patterns and reorganize; Integer, Haskell.Integer: init

Todo: rename to prevent LSP seeing it

2026-10-16T04:30:18Z

commit 0448aa3d8f2e5c22bbeda64f267c84e6aced55ac parent 720fd59ff5ce869a8bc9716634721b6368e64a2e Author: Robert Russell Date: Thu, 15 Oct 2026 21:30:18 -0700 Todo: rename to prevent LSP seeing it

Todo: move source to prevent building it

2026-10-16T04:28:43Z

commit 720fd59ff5ce869a8bc9716634721b6368e64a2e parent 5980a848fe0fecd59f92af930cc1702056fbf8c4 Author: Robert Russell Date: Thu, 15 Oct 2026 21:28:43 -0700 Todo: move source to prevent building it

Algebra.Magma: add Text instances

2026-10-16T04:22:20Z

commit 5980a848fe0fecd59f92af930cc1702056fbf8c4 parent c15bc6c5431ec7c8edf018c294551f08d943a536 Author: Robert Russell Date: Thu, 15 Oct 2026 21:22:20 -0700 Algebra.Magma: add Text instances

Algebra.Magma: rename/refactor to make less clunky

2026-10-16T04:10:22Z

commit c15bc6c5431ec7c8edf018c294551f08d943a536 parent 99272a8cfadf876e5a5630cb638b85c2ca6c1296 Author: Robert Russell Date: Thu, 15 Oct 2026 21:10:22 -0700 Algebra.Magma: rename/refactor to make less clunky

Error: add better exception-throwing util functions

2026-10-16T00:57:25Z

commit 99272a8cfadf876e5a5630cb638b85c2ca6c1296 parent a6a71f9862a4f3706e9b0f5955c9db2d67037565 Author: Robert Russell Date: Thu, 15 Oct 2026 17:57:25 -0700 Error: add better exception-throwing util functions

Haskell.Exception: init

2026-10-16T00:55:30Z

commit a6a71f9862a4f3706e9b0f5955c9db2d67037565 parent c5db2fca4fb3dd4a23cae34a8829a8b77fe8cbc0 Author: Robert Russell Date: Thu, 15 Oct 2026 17:55:30 -0700 Haskell.Exception: init

Haskell.Partial: init

2026-10-16T00:28:45Z

commit c5db2fca4fb3dd4a23cae34a8829a8b77fe8cbc0 parent 76d021fb8eb5ed9b65a8f1acdb7c9698641e5452 Author: Robert Russell Date: Thu, 15 Oct 2026 17:28:45 -0700 Haskell.Partial: init

Haskell: move reexports into Core

2026-10-15T22:20:48Z

commit 76d021fb8eb5ed9b65a8f1acdb7c9698641e5452 parent 087e6a198cfcdb68d1d44fc058b65816c016090d Author: Robert Russell Date: Thu, 15 Oct 2026 15:20:48 -0700 Haskell: move reexports into Core

Algebra.Magma: rename

2026-10-15T08:16:39Z

commit 087e6a198cfcdb68d1d44fc058b65816c016090d parent 4442fcad3fba0446222e91d9d2052531f48d5f51 Author: Robert Russell Date: Thu, 15 Oct 2026 01:16:39 -0700 Algebra.Magma: rename

Algebra.Magma: init (WIP)

2026-10-15T04:27:16Z

commit 4442fcad3fba0446222e91d9d2052531f48d5f51 parent 166e07f464488e79fc091bd642aed744e39fe8b6 Author: Robert Russell Date: Wed, 14 Oct 2026 21:27:16 -0700 Algebra.Magma: init (WIP)

Haskell.Bool: init

2026-10-15T04:16:49Z

commit 166e07f464488e79fc091bd642aed744e39fe8b6 parent 3cd23ca31e78d63bd546da77b2ef3c8c35e45361 Author: Robert Russell Date: Wed, 14 Oct 2026 21:16:49 -0700 Haskell.Bool: init

Haskell.Functional: add coercion stuff

2026-10-15T04:15:49Z

commit 3cd23ca31e78d63bd546da77b2ef3c8c35e45361 parent 11b20c31df8d2175b81403b0cf5fd71eb622155b Author: Robert Russell Date: Wed, 14 Oct 2026 21:15:49 -0700 Haskell.Functional: add coercion stuff

Equivalence, Order: add numeric instances

2026-10-15T04:14:06Z

commit 11b20c31df8d2175b81403b0cf5fd71eb622155b parent 8548b662de8c4edbeef575b470d656a8251acc43 Author: Robert Russell Date: Wed, 14 Oct 2026 21:14:06 -0700 Equivalence, Order: add numeric instances

Todo: fix ambiguous reference

2026-10-15T00:07:15Z

commit 8548b662de8c4edbeef575b470d656a8251acc43 parent 08d30ad2a1f9b41f8194d2eb9d985066b203cf0c Author: Robert Russell Date: Wed, 14 Oct 2026 17:07:15 -0700 Todo: fix ambiguous reference

Maybe: add tentative Repr-generic Maybe# type

2026-10-14T23:21:28Z

commit 08d30ad2a1f9b41f8194d2eb9d985066b203cf0c parent e2aebea409d0682ea935e85df897fe7e79de926f Author: Robert Russell Date: Wed, 14 Oct 2026 16:21:28 -0700 Maybe: add tentative Repr-generic Maybe# type

Haskell.Functional: add Box type to Functional# class, and use CPP for Functional# instances

2026-10-14T23:20:06Z

commit e2aebea409d0682ea935e85df897fe7e79de926f parent 498b7dd4b09f2491997df1e0e7f3ef85e6d0a00f Author: Robert Russell Date: Wed, 14 Oct 2026 16:20:06 -0700 Haskell.Functional: add Box type to Functional# class, and use CPP for Functional# instances

Haskell.Functional: add ($#)

2026-10-10T01:47:55Z

commit 498b7dd4b09f2491997df1e0e7f3ef85e6d0a00f parent cf79187724b1c45985f94a29c038a00876cda1f8 Author: Robert Russell Date: Fri, 9 Oct 2026 18:47:55 -0700 Haskell.Functional: add ($#)

Move fixity declarations

2026-10-10T01:12:34Z

commit cf79187724b1c45985f94a29c038a00876cda1f8 parent 8a08a6d4c56c291103896cf699e62298eb2bb59b Author: Robert Russell Date: Fri, 9 Oct 2026 18:12:34 -0700 Move fixity declarations I put them at the top previously because fourmolu puts a space between a declaration with a doc comment and fixity declarations, but that's a stupid reason.

Todo: add reference to HomIso

2026-10-10T00:18:26Z

commit 8a08a6d4c56c291103896cf699e62298eb2bb59b parent 0aad9d75b324c33de051a28bf42631e374d7a214 Author: Robert Russell Date: Fri, 9 Oct 2026 17:18:26 -0700 Todo: add reference to HomIso

Error: reexport assert

2026-10-09T22:21:10Z

commit 0aad9d75b324c33de051a28bf42631e374d7a214 parent 50bd5370c4f80bfddce38197a7d443108c416ca9 Author: Robert Russell Date: Fri, 9 Oct 2026 15:21:10 -0700 Error: reexport assert

Todo: add experiment

2026-10-09T19:47:50Z

commit 50bd5370c4f80bfddce38197a7d443108c416ca9 parent 14be6a03279b09647779ed8c8dd2b698c28253c8 Author: Robert Russell Date: Fri, 9 Oct 2026 12:47:50 -0700 Todo: add experiment

Haskell: add For

2026-10-09T19:45:19Z

commit 14be6a03279b09647779ed8c8dd2b698c28253c8 parent 098439357da9990196fab7027b36215cca6a995a Author: Robert Russell Date: Fri, 9 Oct 2026 12:45:19 -0700 Haskell: add For

Haskell: move (~) and (~~); remove (:~:) and (:~~:)

2026-10-09T19:44:10Z

commit 098439357da9990196fab7027b36215cca6a995a parent 9ae81293f530b48d41e896fe11e8ac8dd1b7107b Author: Robert Russell Date: Fri, 9 Oct 2026 12:44:10 -0700 Haskell: move (~) and (~~); remove (:~:) and (:~~:) (:~:) is Discrete in Algebra.Category.

Error: add GHC.TypeError stuff

2026-10-09T19:38:39Z

commit 9ae81293f530b48d41e896fe11e8ac8dd1b7107b parent 702418b9e19326d0d24ba8794f262305aa674860 Author: Robert Russell Date: Fri, 9 Oct 2026 12:38:39 -0700 Error: add GHC.TypeError stuff

Maybe: reexport some stuff and add default operator

2026-10-09T19:06:21Z

commit 702418b9e19326d0d24ba8794f262305aa674860 parent 23c93a4dc3e321d47f1f16be8f252d9acbe9cb49 Author: Robert Russell Date: Fri, 9 Oct 2026 12:06:21 -0700 Maybe: reexport some stuff and add default operator

Haskell: reexport Symbol

2026-10-09T18:52:11Z

commit 23c93a4dc3e321d47f1f16be8f252d9acbe9cb49 parent 745933b8b13cf4c99883b4437e6ad58c284d3671 Author: Robert Russell Date: Fri, 9 Oct 2026 11:52:11 -0700 Haskell: reexport Symbol

Algebra.Category: add NT_ and BiNT_

2026-10-09T18:51:55Z

commit 745933b8b13cf4c99883b4437e6ad58c284d3671 parent 54e567bd598043672529bafca8d9d586e1e9d1e4 Author: Robert Russell Date: Fri, 9 Oct 2026 11:51:55 -0700 Algebra.Category: add NT_ and BiNT_

Algebra.Category, Function: add application operators (with good fixity)

2026-10-08T00:06:47Z

commit 54e567bd598043672529bafca8d9d586e1e9d1e4 parent 762bfc7cb184e0ff4ca4c7ab41044d6fd303413b Author: Robert Russell Date: Wed, 7 Oct 2026 17:06:47 -0700 Algebra.Category, Function: add application operators (with good fixity)

Bool: reexport type-level stuff

2026-10-07T23:58:14Z

commit 762bfc7cb184e0ff4ca4c7ab41044d6fd303413b parent 22c569316476595abb81eb64ed1eeb7946491314 Author: Robert Russell Date: Wed, 7 Oct 2026 16:58:14 -0700 Bool: reexport type-level stuff

Haskell: add type-level composition operators

2026-10-06T23:36:30Z

commit 22c569316476595abb81eb64ed1eeb7946491314 parent fbda0ed45df1d814ffa27e1cdd0cbf94cfd5b039 Author: Robert Russell Date: Tue, 6 Oct 2026 16:36:30 -0700 Haskell: add type-level composition operators

Pair: add Unicode alias

2026-10-06T23:25:08Z

commit fbda0ed45df1d814ffa27e1cdd0cbf94cfd5b039 parent 5f4d78ab7400b020beea411d7d1cc3144a93c736 Author: Robert Russell Date: Tue, 6 Oct 2026 16:25:08 -0700 Pair: add Unicode alias

Pair: add tentative combinators for Repr-generic pair manipulations

2026-10-05T17:04:52Z

commit 5f4d78ab7400b020beea411d7d1cc3144a93c736 parent 5724351a8a85cd9d3e272642b2c37eeb096d6f83 Author: Robert Russell Date: Mon, 5 Oct 2026 10:04:52 -0700 Pair: add tentative combinators for Repr-generic pair manipulations

Todo: organize uncommitted experiments

2026-10-05T17:01:43Z

commit 5724351a8a85cd9d3e272642b2c37eeb096d6f83 parent f9b36d26aad0e50d184854ea96098c8879bc4155 Author: Robert Russell Date: Mon, 5 Oct 2026 10:01:43 -0700 Todo: organize uncommitted experiments

Clean up

2026-10-05T17:01:00Z

commit f9b36d26aad0e50d184854ea96098c8879bc4155 parent 811fe1fb26404329d105b547b7ea968ac32c6f04 Author: Robert Russell Date: Mon, 5 Oct 2026 10:01:00 -0700 Clean up

Haskell: reorganize tuples; add type/pattern constructors

2026-10-05T16:53:55Z

commit 811fe1fb26404329d105b547b7ea968ac32c6f04 parent 01719e7037df80215b5de677206f63e01c3b9b51 Author: Robert Russell Date: Mon, 5 Oct 2026 09:53:55 -0700 Haskell: reorganize tuples; add type/pattern constructors

Algebra.Category.Bifunctor: add Binaturally and bicomp

2026-10-05T16:51:37Z

commit 01719e7037df80215b5de677206f63e01c3b9b51 parent efb61710da76df73fd3edd4122942495aeb11c88 Author: Robert Russell Date: Mon, 5 Oct 2026 09:51:37 -0700 Algebra.Category.Bifunctor: add Binaturally and bicomp

Add big TODO

2026-10-05T07:23:30Z

commit efb61710da76df73fd3edd4122942495aeb11c88 parent 30290c425b527854126ea04482d68b5be9feeabd Author: Robert Russell Date: Mon, 5 Oct 2026 00:23:30 -0700 Add big TODO

Function: add "#" to end of composition operators to avoid conflict with Algebra.Category (tentative/temporary)

2026-10-04T21:02:11Z

commit 30290c425b527854126ea04482d68b5be9feeabd parent dfda2dd288c7d211f21a364e46ffd83023467fe3 Author: Robert Russell Date: Sun, 4 Oct 2026 14:02:11 -0700 Function: add "#" to end of composition operators to avoid conflict with Algebra.Category (tentative/temporary)

Haskell: make Function consistent with Type

2026-10-04T20:27:55Z

commit dfda2dd288c7d211f21a364e46ffd83023467fe3 parent 01daa79f631bc664ce0e98dbaf3f0bdc77d43da7 Author: Robert Russell Date: Sun, 4 Oct 2026 13:27:55 -0700 Haskell: make Function consistent with Type

Add missing fixity declarations

2026-10-04T05:25:10Z

commit 01daa79f631bc664ce0e98dbaf3f0bdc77d43da7 parent 58d2f9ac80fefbdc09a6cea101a4f1fdc5c6af13 Author: Robert Russell Date: Sat, 3 Oct 2026 22:25:10 -0700 Add missing fixity declarations

Haskell: add Brand and OpenKind

2026-10-04T03:12:10Z

commit 58d2f9ac80fefbdc09a6cea101a4f1fdc5c6af13 parent bdc0d4814d4dfdf2603a407e42cd522ce45906d4 Author: Robert Russell Date: Sat, 3 Oct 2026 20:12:10 -0700 Haskell: add Brand and OpenKind

Maybe: change unsafe naming scheme

2026-10-04T00:17:00Z

commit bdc0d4814d4dfdf2603a407e42cd522ce45906d4 parent 96bf5b1f0bc63ad33b32a5e171469ee05a136423 Author: Robert Russell Date: Sat, 3 Oct 2026 17:17:00 -0700 Maybe: change unsafe naming scheme

Todo: update

2026-10-03T22:58:30Z

commit 96bf5b1f0bc63ad33b32a5e171469ee05a136423 parent 6b985a5de3d4d311a1bb4b3e9e76d5fd738e3def Author: Robert Russell Date: Sat, 3 Oct 2026 15:58:30 -0700 Todo: update

Todo: add slop on zap (functor-functor interactions)

2026-09-30T17:51:00Z

commit 6b985a5de3d4d311a1bb4b3e9e76d5fd738e3def parent 73dc78e72ebf1529cfc6fcab70e199a679274774 Author: Robert Russell Date: Wed, 30 Sep 2026 10:51:00 -0700 Todo: add slop on zap (functor-functor interactions)

Todo: delete junk

2026-09-25T04:28:39Z

commit 73dc78e72ebf1529cfc6fcab70e199a679274774 parent 487c87633a11a97a8c3bf015051cd5f1e8e495d3 Author: Robert Russell Date: Thu, 24 Sep 2026 21:28:39 -0700 Todo: delete junk

Todo: add idea related to Repr-generic types

2026-09-25T04:16:29Z

commit 487c87633a11a97a8c3bf015051cd5f1e8e495d3 parent 3094cae6e65c32030842fef2c4ec768f8e9f0012 Author: Robert Russell Date: Thu, 24 Sep 2026 21:16:29 -0700 Todo: add idea related to Repr-generic types

Haskell: reorganize

2026-09-24T17:41:58Z

commit 3094cae6e65c32030842fef2c4ec768f8e9f0012 parent 096ca08e9ca3b8cc987fdb2d15f3bd2cad9f318d Author: Robert Russell Date: Thu, 24 Sep 2026 10:41:58 -0700 Haskell: reorganize

Todo: rename files to avoid LSP errors

2026-09-24T16:57:22Z

commit 096ca08e9ca3b8cc987fdb2d15f3bd2cad9f318d parent 476fac03ea40cc28644acb2fe6d63e80b406ab78 Author: Robert Russell Date: Thu, 24 Sep 2026 09:57:22 -0700 Todo: rename files to avoid LSP errors

Todo: more slop info

2026-09-24T16:50:56Z

commit 476fac03ea40cc28644acb2fe6d63e80b406ab78 parent fac468b1a468da013d460b8b7d8ce1cbb47545e4 Author: Robert Russell Date: Thu, 24 Sep 2026 09:50:56 -0700 Todo: more slop info

Todo: add slop Claude transcript

2026-09-24T16:30:25Z

commit fac468b1a468da013d460b8b7d8ce1cbb47545e4 parent 89e6d8e2f0a2a924da32230a201e5f6238ddbe36 Author: Robert Russell Date: Thu, 24 Sep 2026 09:30:25 -0700 Todo: add slop Claude transcript

Unit: add Unit#

2026-09-23T01:02:24Z

commit 89e6d8e2f0a2a924da32230a201e5f6238ddbe36 parent c7d572c46f5c458a5a6a079db41f0bf6fdabca1e Author: Robert Russell Date: Tue, 22 Sep 2026 18:02:24 -0700 Unit: add Unit#

Haskell: make Repr arguments explicit

2026-09-22T21:41:22Z

commit c7d572c46f5c458a5a6a079db41f0bf6fdabca1e parent b514c9d4029467a239fcd945223a0995b53fe7f2 Author: Robert Russell Date: Tue, 22 Sep 2026 14:41:22 -0700 Haskell: make Repr arguments explicit This makes representations visible in diagnostic messages. Previously, you'd just get something like `forall {r :: Repr}. Type`, when really it was `forall {r :: Repr}. Type @r`.

Add TODO

2026-09-22T21:27:10Z

commit b514c9d4029467a239fcd945223a0995b53fe7f2 parent 49a01b92e7a020244dd2b1de820b5d16a5404661 Author: Robert Russell Date: Tue, 22 Sep 2026 14:27:10 -0700 Add TODO

Add/remove some TODOs

2026-09-21T23:21:09Z

commit 49a01b92e7a020244dd2b1de820b5d16a5404661 parent 7e981456d81795e178028c11d94d324d99b0bdec Author: Robert Russell Date: Mon, 21 Sep 2026 16:21:09 -0700 Add/remove some TODOs

Algebra.Category.Iso: add isoCoerce TODO

2026-09-21T23:20:45Z

commit 7e981456d81795e178028c11d94d324d99b0bdec parent f18c328fe4c11b3e7cf33a7c60768086d5631be3 Author: Robert Russell Date: Mon, 21 Sep 2026 16:20:45 -0700 Algebra.Category.Iso: add isoCoerce TODO

Algebra.Category.Bifunctor: reorder prefixes in class names

2026-09-21T19:46:55Z

commit f18c328fe4c11b3e7cf33a7c60768086d5631be3 parent 3ec2498811182f8374267dc14cda113346fb6093 Author: Robert Russell Date: Mon, 21 Sep 2026 12:46:55 -0700 Algebra.Category.Bifunctor: reorder prefixes in class names

Function: add fork (phi combinator)

2026-09-19T22:46:51Z

commit 3ec2498811182f8374267dc14cda113346fb6093 parent 79de4f2c7452ec562e8f5b54be650e44fc764fc8 Author: Robert Russell Date: Sat, 19 Sep 2026 15:46:51 -0700 Function: add fork (phi combinator)

Update README

2026-09-18T18:23:36Z

commit 79de4f2c7452ec562e8f5b54be650e44fc764fc8 parent d99abc728fcb30ea9b18480b2822e296979e8107 Author: Robert Russell Date: Fri, 18 Sep 2026 11:23:36 -0700 Update README

Add some TODOs

2026-09-17T05:26:47Z

commit d99abc728fcb30ea9b18480b2822e296979e8107 parent 01875046d33b997d26a7b423becceb57f320ea9e Author: Robert Russell Date: Wed, 16 Sep 2026 22:26:47 -0700 Add some TODOs

Order: init

2026-09-17T05:21:59Z

commit 01875046d33b997d26a7b423becceb57f320ea9e parent 132a8f28c8603554788ec3291eb5fbeab3962434 Author: Robert Russell Date: Wed, 16 Sep 2026 22:21:59 -0700 Order: init

Consolidate interop newtypes

2026-09-17T05:11:46Z

commit 132a8f28c8603554788ec3291eb5fbeab3962434 parent 7a371999dffd83c8c9cd4ae28cd12d5a792f516f Author: Robert Russell Date: Wed, 16 Sep 2026 22:11:46 -0700 Consolidate interop newtypes

Error: init

2026-09-16T23:52:22Z

commit 7a371999dffd83c8c9cd4ae28cd12d5a792f516f parent bc2229ec25c50ef3c3a4d73dbd3c301e6eca4b60 Author: Robert Russell Date: Wed, 16 Sep 2026 16:52:22 -0700 Error: init

Function: add Repr-polymorphic combinators

2026-09-16T23:44:01Z

commit bc2229ec25c50ef3c3a4d73dbd3c301e6eca4b60 parent 9400c550dc27c17893c1e454cef9c1d7b7089e61 Author: Robert Russell Date: Wed, 16 Sep 2026 16:44:01 -0700 Function: add Repr-polymorphic combinators

Rename some qualified imports

2026-09-16T20:18:55Z

commit 9400c550dc27c17893c1e454cef9c1d7b7089e61 parent e6f249e06ca946d1bd99c0e2b754e1906e267984 Author: Robert Russell Date: Wed, 16 Sep 2026 13:18:55 -0700 Rename some qualified imports

Add Equivalence module

2026-09-16T20:14:55Z

commit e6f249e06ca946d1bd99c0e2b754e1906e267984 parent cdc3b2b3e893c8bb76c34d9153c6ed4944cda950 Author: Robert Russell Date: Wed, 16 Sep 2026 13:14:55 -0700 Add Equivalence module

Haskell: add Generic module

2026-09-16T20:13:22Z

commit cdc3b2b3e893c8bb76c34d9153c6ed4944cda950 parent 375ae8f19c95cb47bd5133660135ed952e8e7f93 Author: Robert Russell Date: Wed, 16 Sep 2026 13:13:22 -0700 Haskell: add Generic module

Haskell: add Functional# class for representation-genericity

2026-09-16T17:52:15Z

commit 375ae8f19c95cb47bd5133660135ed952e8e7f93 parent 6d41b7f3f1653a2c17a9b7e4bea1ea2e26d959cd Author: Robert Russell Date: Wed, 16 Sep 2026 10:52:15 -0700 Haskell: add Functional# class for representation-genericity

Algebra.Category: add commented-out InteropCategory (there are issues with witnessMor)

2026-09-16T16:48:01Z

commit 6d41b7f3f1653a2c17a9b7e4bea1ea2e26d959cd parent 104ce6fc751b56d8859745e83a15e6a650a075af Author: Robert Russell Date: Wed, 16 Sep 2026 09:48:01 -0700 Algebra.Category: add commented-out InteropCategory (there are issues with witnessMor)

Pair: add type-level Fst and Snd

2026-09-14T23:05:23Z

commit 104ce6fc751b56d8859745e83a15e6a650a075af parent a1a564cdf8ef2e9df59cbe9bc2f308695481e95b Author: Robert Russell Date: Mon, 14 Sep 2026 16:05:23 -0700 Pair: add type-level Fst and Snd

Add tentative Pair module

2026-09-14T22:59:45Z

commit a1a564cdf8ef2e9df59cbe9bc2f308695481e95b parent 6a6bc2fced739398e38609dd0639600aae6ae5c4 Author: Robert Russell Date: Mon, 14 Sep 2026 15:59:45 -0700 Add tentative Pair module

Haskell.Category: add binatural transformations

2026-09-14T22:51:32Z

commit 6a6bc2fced739398e38609dd0639600aae6ae5c4 parent 09b256dd8eba4800366607c20f9d632900be4a28 Author: Robert Russell Date: Mon, 14 Sep 2026 15:51:32 -0700 Haskell.Category: add binatural transformations

Algebra.Category.Bifunctor: add missing fundeps

2026-09-14T22:45:30Z

commit 09b256dd8eba4800366607c20f9d632900be4a28 parent 31e80a7711f41d439238897ef6f36549a307d002 Author: Robert Russell Date: Mon, 14 Sep 2026 15:45:30 -0700 Algebra.Category.Bifunctor: add missing fundeps

Algebra.Category.Bifunctor: fix exports

2026-09-14T22:41:37Z

commit 31e80a7711f41d439238897ef6f36549a307d002 parent 964c76780bef0397646e7bf4c30e7e5827b53d1b Author: Robert Russell Date: Mon, 14 Sep 2026 15:41:37 -0700 Algebra.Category.Bifunctor: fix exports

Algebra.Category: fix (==>) fixity

2026-09-14T22:32:53Z

commit 964c76780bef0397646e7bf4c30e7e5827b53d1b parent d99ff4087b937aab607780dbe4c440dccdc91b5f Author: Robert Russell Date: Mon, 14 Sep 2026 15:32:53 -0700 Algebra.Category: fix (==>) fixity

Add Text

2026-09-14T22:18:38Z

commit d99ff4087b937aab607780dbe4c440dccdc91b5f parent c51de6c4ed7d00cb31ae98967e2573af4f785a29 Author: Robert Russell Date: Mon, 14 Sep 2026 15:18:38 -0700 Add Text

Lude.Algebra.Category: add nmap

2026-09-14T21:28:58Z

commit c51de6c4ed7d00cb31ae98967e2573af4f785a29 parent a07f4375ece67cad8086befcddeb67c3ee41e50c Author: Robert Russell Date: Mon, 14 Sep 2026 14:28:58 -0700 Lude.Algebra.Category: add nmap

Lude.Algebra.Category: interop with base Functor/Monad classes

2026-09-14T20:56:40Z

commit a07f4375ece67cad8086befcddeb67c3ee41e50c parent fe38de3ec6a2697a9a01ea082bff6b7288de3501 Author: Robert Russell Date: Mon, 14 Sep 2026 13:56:40 -0700 Lude.Algebra.Category: interop with base Functor/Monad classes

Haskell: reexport IsList and IsString

2026-09-14T20:18:52Z

commit fe38de3ec6a2697a9a01ea082bff6b7288de3501 parent e26e406d306d38b7332c39ff1b95715b34919147 Author: Robert Russell Date: Mon, 14 Sep 2026 13:18:52 -0700 Haskell: reexport IsList and IsString

Add Natural

2026-09-14T19:21:25Z

commit e26e406d306d38b7332c39ff1b95715b34919147 parent c65e358e24ddca0ac92ff23563c0c18e90f88c77 Author: Robert Russell Date: Mon, 14 Sep 2026 12:21:25 -0700 Add Natural

Add Maybe

2026-09-14T19:19:15Z

commit c65e358e24ddca0ac92ff23563c0c18e90f88c77 parent 954e96fedbba63e0f3563fe72ceb1172c465b5c1 Author: Robert Russell Date: Mon, 14 Sep 2026 12:19:15 -0700 Add Maybe

Algebra.Category.Algebra: refactor

2026-09-12T17:29:10Z

commit 954e96fedbba63e0f3563fe72ceb1172c465b5c1 parent 459ae6ab64ab937751af969f91b9c03b09b1d4ce Author: Robert Russell Date: Sat, 12 Sep 2026 10:29:10 -0700 Algebra.Category.Algebra: refactor

Algebra.Category: rename Natural to Naturally

2026-09-11T00:56:39Z

commit 459ae6ab64ab937751af969f91b9c03b09b1d4ce parent 4c301d31006a7912a4d51d0b2ce91d4dcba71097 Author: Robert Russell Date: Thu, 10 Sep 2026 17:56:39 -0700 Algebra.Category: rename Natural to Naturally

IO: reexport

2026-09-10T18:50:50Z

commit 4c301d31006a7912a4d51d0b2ce91d4dcba71097 parent b6cadf34defbb9b54ce96bf24fc4897c2f202406 Author: Robert Russell Date: Thu, 10 Sep 2026 11:50:50 -0700 IO: reexport

Add IO

2026-09-10T18:48:37Z

commit b6cadf34defbb9b54ce96bf24fc4897c2f202406 parent 0d9bbd357bd4c38e46546e7be0802e51ee3b6b42 Author: Robert Russell Date: Thu, 10 Sep 2026 11:48:37 -0700 Add IO

Algebra.Category: RebindableSyntax

2026-09-10T18:48:28Z

commit 0d9bbd357bd4c38e46546e7be0802e51ee3b6b42 parent b28eb21d7ba63b697df755ad4893b259986970b7 Author: Robert Russell Date: Thu, 10 Sep 2026 11:48:28 -0700 Algebra.Category: RebindableSyntax

Add README

2026-09-10T18:27:23Z

commit b28eb21d7ba63b697df755ad4893b259986970b7 parent d81444ca049f02f7c0ae74eb4d0d849709ab01df Author: Robert Russell Date: Thu, 10 Sep 2026 11:27:23 -0700 Add README

Reorganize

2026-09-10T18:24:00Z

commit d81444ca049f02f7c0ae74eb4d0d849709ab01df parent 65434a8b929548b0f5cf317d9cc89ed47efa6e5f Author: Robert Russell Date: Thu, 10 Sep 2026 11:24:00 -0700 Reorganize

Algebra.Category: add semigroupal and monoidal functors, and add cartesian categories

2026-09-10T05:13:32Z

commit 65434a8b929548b0f5cf317d9cc89ed47efa6e5f parent 96781a09d74372601ea0deb86ee2977f9d0de1bf Author: Robert Russell Date: Wed, 9 Sep 2026 22:13:32 -0700 Algebra.Category: add semigroupal and monoidal functors, and add cartesian categories

Algebra.Category: add Adjunction

2026-09-10T04:46:35Z

commit 96781a09d74372601ea0deb86ee2977f9d0de1bf parent 727fa06d23cee17763553e8c703bbfcd06a6a6ce Author: Robert Russell Date: Wed, 9 Sep 2026 21:46:35 -0700 Algebra.Category: add Adjunction

Algebra.Category: remove CatOfEndo in favor of just Dom

2026-09-10T04:46:13Z

commit 727fa06d23cee17763553e8c703bbfcd06a6a6ce parent 346f45333abdf8571385892aa1547d8202c213f0 Author: Robert Russell Date: Wed, 9 Sep 2026 21:46:13 -0700 Algebra.Category: remove CatOfEndo in favor of just Dom

Algebra.Category: add Iso

2026-09-10T00:55:21Z

commit 346f45333abdf8571385892aa1547d8202c213f0 parent b91992333672bdeaf9c6749b62ded2023baac0e4 Author: Robert Russell Date: Wed, 9 Sep 2026 17:55:21 -0700 Algebra.Category: add Iso

Algebra.Category.Bifunctor: add class aliases

2026-09-10T00:31:48Z

commit b91992333672bdeaf9c6749b62ded2023baac0e4 parent ee026033bc4bcc8e78989a739eeffa085c8369db Author: Robert Russell Date: Wed, 9 Sep 2026 17:31:48 -0700 Algebra.Category.Bifunctor: add class aliases

Algebra.Category: add Monad

2026-09-10T00:16:53Z

commit ee026033bc4bcc8e78989a739eeffa085c8369db parent 83c4f6a837370e1cf1f737d3cc6d07e082401a83 Author: Robert Russell Date: Wed, 9 Sep 2026 17:16:53 -0700 Algebra.Category: add Monad

Refactor Haskell-specific things; extend/update Algebra.Category

2026-09-09T21:53:09Z

commit 83c4f6a837370e1cf1f737d3cc6d07e082401a83 parent 2ddecefe35c1321a67e88cfd3b6515f7c2dce5f8 Author: Robert Russell Date: Wed, 9 Sep 2026 14:53:09 -0700 Refactor Haskell-specific things; extend/update Algebra.Category