Skip to content

fix: better argument passing for extensionality #139

fix: better argument passing for extensionality

fix: better argument passing for extensionality #139

Triggered via push December 10, 2023 14:28
Status Success
Total duration 10s
Artifacts
Everything.agda
3s
Everything.agda
Fit to window
Zoom out
Zoom in