Skip to content
docker-ci-for-pr

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

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) #100

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-expk
1h 24m 51s
build-stdknl
1h 28m 4s
2h 52m 55s