GitHub repository: stefan-hoeck/idris2-finite
Primary language: Idris
Created: 2023-03-20T09:53:44Z
Description: A derivable interface for types with a finite number of values