lude

commit 79de4f2c7452ec562e8f5b54be650e44fc764fc8
parent d99abc728fcb30ea9b18480b2822e296979e8107
Author: Robert Russell <robert@rr3.xyz>
Date:   Fri, 18 Sep 2026 11:23:36 -0700

Update README

Diffstat:
M
README.md
 | 
16
+++++++++++++++-

1 file changed, 15 insertions(+), 1 deletion(-)
diff --git a/README.md b/README.md
@@ -1 +1,15 @@
-This is a WIP Haskell prelude alternative centered around category-generic abstractions
+This is a WIP alternative Haskell prelude. The main differences with the
+standard prelude are the following:
+
+  - More-principled abstractions
+      - Category-generic categorical abstractions (functors, monads, etc.)
+      - Algebraic abstractions (semigroups, monoids, groups, semirings, etc.)
+      - Order-theoretic abstractions (partial orders, total orders, lattices, etc.)
+
+  - Runtime memory representation-genericity
+      - "First-order" algebraic and order-theoretic abstractions
+      - Function combinators
+
+  - No name punning for good DataKinds support
+
+  - No implicitly-unsafe operations (e.g., List.head)