Skip to content
hs-to-coq

Avoid representation polymorphism in $ and $! #108

Sign in to view logs

Avoid representation polymorphism in $ and $!

Avoid representation polymorphism in $ and $! #108

Annotations

2 errors and 1 warning

The logs for this run have expired and are no longer available.