Skip to content
docker-ci-for-pr

Lambda term is solvable iff it has hnf (head normal form) #101

Sign in to view logs

Lambda term is solvable iff it has hnf (head normal form)

Lambda term is solvable iff it has hnf (head normal form) #101

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-stdknl
41m 51s
build-expk
1h 22m 42s
2h 4m 33s