Skip to content
agda

formalism: Give brief description of typed action calculus #39

Sign in to view logs

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
@mirryimirryi
pushed 33ed96a
typed-hazelnut
Status Success
Total duration 1m 20s
Artifacts –

agda.yaml

on: push
Check all.agda
1m 10s
Check all.agda
Fit to window
Zoom out
Zoom in