Skip to content
Docs

[ #242 ] Implement GADT syntax #228

Sign in to view logs

[ #242 ] Implement GADT syntax

[ #242 ] Implement GADT syntax #228

Triggered via pull request November 28, 2025 21:59
@jespercockxjespercockx
opened #453
gadts
Status Success
Total duration 18s
Artifacts –

docs.yml

on: pull_request
Matrix: deploy
Fit to window
Zoom out
Zoom in