Skip to content

formalism: Give brief description of typed action calculus #39

formalism: Give brief description of typed action calculus

formalism: Give brief description of typed action calculus #39

Triggered via push October 8, 2023 23:37
Status Success
Total duration 1m 20s
Artifacts

agda.yaml

on: push
Fit to window
Zoom out
Zoom in