GitHub repository: uedatakumi/nat
Primary language: Agda
Created: 2021-06-02T15:20:02Z
Description: natural numbers