formalism: Fix AEZipProjL and AEZipProjR #40

Sign in to view logs

Triggered via push October 9, 2023 00:03

mirryi

untyped-hazelnut

Status Success

Total duration 1m 18s

Artifacts –

agda.yaml

on: push