formalism: Add metatheorems for pattern marking · hazelgrove/error-localization-agda@f7b5f12

Triggered via push June 5, 2023 17:28

mirryi

patterned

Status Success

Total duration 2m 19s

Artifacts 1

formalism.yaml

on: push

Produced during runtime

Name	Size
formalism Expired	650 KB