Skip to content
Docker

fix(NearlyConstant): make unqualified names usable #114

Sign in to view logs

fix(NearlyConstant): make unqualified names usable

fix(NearlyConstant): make unqualified names usable #114

Triggered via push November 24, 2023 19:40
@favoniafavonia
pushed c4664f5
main
Status Success
Total duration 3m 7s
Artifacts –

agda.yml

on: push
build
2m 59s
build
Fit to window
Zoom out
Zoom in