GitHub repository: stefan-hoeck/idris2-quantifiers-extra
Primary language: Idris
Created: 2023-04-03T15:37:10Z
Description: Some extra functionality for working with `Data.List.Quantifiers`