GitHub repository: stefan-hoeck/idris2-algebra
Primary language: Idris
Created: 2022-10-28T09:35:29Z
Description: Lawful algebraic structures in Idris2