Skip to content

Read algebraic datatype values - #25

Merged
daniel-larraz merged 1 commit into
kind2-mc:mainfrom
daniel-larraz:read-algebraic-datatype-values
Sep 22, 2026
Merged

daniel-larraz merged 1 commit into
kind2-mc:mainfrom
daniel-larraz:read-algebraic-datatype-values

Read algebraic datatype values

2db05cf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build
succeeded Sep 22, 2026 in 1m 6s