Skip to content
Docs

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)… #144

Sign in to view logs

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)…

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)… #144

Run time

Learn about OS pricing on GitHub Actions
Job Run time
deploy (3.10.8)
18s
18s