Agda Cat: The "bits" Challenge

Published --