formalism: Add definition of type substitution #55

Sign in to view logs

Triggered via push June 2, 2023 17:14

mirryi

polymorphism

Status Failure

Total duration 2m 1s

Artifacts –

formalism.yaml

on: push

Build formalism.pdf