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

The logs for this run have expired and are no longer available.