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