Pregroup trees: Fix order of atomic types for n.r @ s @ s.l @ n
#425
neiljdobuild_test.yml
on: pull_request
Matrix: lint
Matrix: build_and_test
Matrix: type_check
Annotations
3 errors
|
type_check (3.10)
Process completed with exit code 1.
|
|
type_check (3.11)
Process completed with exit code 1.
|
|
type_check (3.12)
Process completed with exit code 1.
|