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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 55s
1m 55s