agda: Use glub symbol for type meet #43

Sign in to view logs

Triggered via push October 27, 2023 02:19

mirryi

popl24-artifact

Status Success

Total duration 1m 26s

Artifacts –

agda.yaml

on: push