Skip to content
Deploy to github pages

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

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 #50

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
23s
deploy
0s
23s