Skip to content

Commit 559d8c5

Browse files
committed
docs: add bugfixes to changelog
1 parent 4ec3c6f commit 559d8c5

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

CHANGELOG.md

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,13 @@
22

33
## Unreleased
44

5+
## [0.8.1] - Bugfix release - 2025-12-09
6+
7+
Fixes:
8+
9+
- Address some issues in colab rendering
10+
- Widen supported IPython version to handle colab's old version
11+
512
## [0.8.0] - Metasemantics - 2025-11-12
613

714
This version involves a major metalanguage/type system update, centered around

0 commit comments

Comments
 (0)