chad-fast/src/CHAD/Drev, branch user-types An implementation of CHAD, towards performance https://git.tomsmeding.com/chad-fast/atom?h=user-types 2025-11-27T20:30:17Z WIP user-specified custom types 2025-11-27T20:30:17Z Tom Smeding tom@tomsmeding.com 2025-11-27T20:30:17Z urn:sha1:20f7d7be13cd7869b338f98d1ab3fd33e8bbfb3e The big roadblock encountered is that accumulation wants addition of monoids to be elementwise float addition; this fundamentally clashes with the concept of a user type with a custom zero and plus. hlint cleanup 2025-11-10T21:31:56Z Tom Smeding tom@tomsmeding.com 2025-11-10T21:31:56Z urn:sha1:cd135319f65f40a554d864b2a878a4ef44043a98 Use ImportQualifiedPost 2025-11-10T20:57:54Z Tom Smeding tom@tomsmeding.com 2025-11-10T20:57:54Z urn:sha1:57eb321eaeabc53c8c8b83d0554d8a8cca6eed76 Move module hierarchy under CHAD. 2025-11-10T20:50:25Z Tom Smeding tom@tomsmeding.com 2025-11-10T20:49:45Z urn:sha1:174af2ba568de66e0d890825b8bda930b8e7bb96