TS => MJS. Iteration 5 - #1458

Merged

sergey-shandar merged 9 commits into

mainfrom

Aug 9, 2026

Commits on Aug 8, 2026

List
sergey-shandar
committed
285cb77
result
sergey-shandar
committed
f976b1c
CHANGELOG entry for #1458

sergey-shandar
and
claude
committed
5e82de5
monoid
sergey-shandar
committed
783e868
monoid update
sergey-shandar
committed
fc3b584
bigint
sergey-shandar
committed
777fd2c
nominal
sergey-shandar
committed
dfa1d7f
minor
sergey-shandar
committed
25513f3
Merge branch 'main' into fjs/types/list
sergey-shandar
authored
219bda3