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

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