Skip to content
Docs

Make _⟨⟩ the constructor of ∃ so it can be used in patterns #198

Sign in to view logs

Make _⟨⟩ the constructor of ∃ so it can be used in patterns

Make _⟨⟩ the constructor of ∃ so it can be used in patterns #198

Triggered via push October 10, 2025 09:04
@jespercockxjespercockx
pushed 306d2ea
master
Status Success
Total duration 25s
Artifacts –

docs.yml

on: push
Matrix: deploy
Fit to window
Zoom out
Zoom in