feat: formalize the "Traditional" universe polymorphism #211
favoniaregenerate-everything.yaml
on: pull_request
Everything.agda
5s
Annotations
1 error
|
Everything.agda
Process completed with exit code 1.
|