This repository has been archived by the owner on May 27, 2024. It is now read-only.

normalize: first step, add β-reductions #41

Job	Run time
move-tag	2s
check-aya-version / extract-version	3s
nightly-build	0s
publish-snapshot	0s
	5s

Provide feedback