agda

agda: Use glub symbol for type meet #41

Sign in to view logs

Triggered via push October 27, 2023 02:17

mirryi

meet-symbol

Status Success

Total duration 1m 32s

Artifacts –

agda.yaml

on: push