Skip to content
Check the Agda files

feat: hints at exporting ADT tikz from OOPSLA talk #296

Sign in to view logs

feat: hints at exporting ADT tikz from OOPSLA talk

feat: hints at exporting ADT tikz from OOPSLA talk #296

Triggered via push November 28, 2024 11:44
@pmbittnerpmbittner
pushed 53b8b18
main
Status Success
Total duration 2m 6s
Artifacts –

check.yml

on: push
build
1m 55s
build
Fit to window
Zoom out
Zoom in