agda: Add definitions for marked patterns #33

Sign in to view logs

Triggered via push June 1, 2023 02:34

mirryi

patterned-agda

Status Success

Total duration 1m 35s

Artifacts –

agda.yaml

on: push