Skip to content
CI

Add set_option pp.explicit false in Weak Head Normal Form example #15

Sign in to view logs

Add set_option pp.explicit false in Weak Head Normal Form example

Add set_option pp.explicit false in Weak Head Normal Form example #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 26s
2m 26s