The א Calculus. - William Earley (CoRR, 2020)