Skip to content
CI

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

Sign in to view logs

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

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

Annotations

2 errors

9.4.8 on windows-latest

9.4.8 on windows-latest
cancelled Dec 13, 2024 in 5m 42s