GitHub repository: langfield/boolean-naturals
Primary language: Agda
Created: 2024-07-21T13:45:34Z
Description: Boolean naturals.