Idris2Doc : Data.List.Lazy.Quantifiers

Data.List.Lazy.Quantifiers