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

Triggered via push August 9, 2023 17:22
@ionathanchionathanch
pushed d0d3e12
main
Status Success
Total duration 15m 53s
Artifacts –

haskell.yml

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