Skip to content
Typecheck with agda

fix typing rules and (parts of) the typechecker #7

Sign in to view logs

fix typing rules and (parts of) the typechecker

fix typing rules and (parts of) the typechecker #7

Triggered via push January 16, 2024 16:07
@liesnikovliesnikov
pushed 8c3951b
typechecker
Status Failure
Total duration 1m 12s
Artifacts –

typecheck.yml

on: push
build
1m 1s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.