Make

style: rename free-algebra-path to free-algebra-hom-path #98

Sign in to view logs

Triggered via push November 26, 2023 15:00

favonia

main

Status Success

Total duration 12s

Artifacts –

regenerate-everything.yaml

on: push

Everything.agda