Pivotal icon indicating copy to clipboard operation
Pivotal copied to clipboard

Published 20 hours ago • verified publisher icon pigworker
→

Metadata

Results 1 Pivotal issues
Sort by recently updated
recently updated
newest added

Port to Agda 2.4.0

1 comment

Fix the only typechecking error with Agda 2.4.0. I did not retest all the code inside `spec` environments though.

Blaisorblade avatar Blaisorblade

← Metadata

30
Stars
5
Forks
Watchers

Owner

verified publisher icon pigworker

Metadata

Back