Skip to content
Haskell CI

Fix Hurkens' paradox to type check all the way to M; improve error me… #12

Sign in to view logs

Fix Hurkens' paradox to type check all the way to M; improve error me…

Fix Hurkens' paradox to type check all the way to M; improve error me… #12

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
15m 41s
15m 41s