agda: Use glub symbol for type meet #42

Sign in to view logs

Triggered via push October 27, 2023 02:18

mirryi

master

Status Success

Total duration 1m 36s

Artifacts –

agda.yaml

on: push