Skip to content

Initial changes for a dependently (?) typed parser through gadt's #54

Initial changes for a dependently (?) typed parser through gadt's

Initial changes for a dependently (?) typed parser through gadt's #54

Annotations

10 errors and 3 warnings

9.4.8 on macos-latest

failed Dec 13, 2024 in 5m 42s