wip

5HT · 5HT · commit 494a88f2e8de · 2026-04-30T01:45:31.000+03:00
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,6 +1,17 @@
 Changelog
 =========
 
+30 APR 2026 Version 5.0.0 Complete Kernel:
+
+* Disk and Hub Spokes kernel primitives
+* Hub Spokes Disc in W
+* Lambda in W
+* Borel sets
+* Basic Topology
+* Locally Small Categories
+* Symmetric Monoidal Categories
+* OCaml 5.0
+
 14 APR 2022 Version 1.4.0 Microkernel Pipeline:
 
 * Microkernel Architecture: Kernel, Proof Shell, and Tactics Server with open binary protocols
diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,6 @@
 DHARMA License
 
-Copyright (c) 2016—2025 Groupoid Infinity
+Copyright (c) 2016—2026 Groupoid Infinity
 
 Permission to use, copy, modify, and/or distribute this software for any
 purpose with or without fee is hereby granted, provided that the above
diff --git a/anders.opam b/anders.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "anders"
-version: "1.4.0"
+version: "5.0.0"
 maintainer: "Namdak Tonpa <maxim@synrc.com>"
 authors: [ "Groupoid Infinity" ]
 homepage: "https://anders.groupoid.space/"
