Idris2Doc
: Data.List.Lazy.Quantifiers
Index
Default
Alternative
Black & White
Data.List.Lazy.Quantifiers
WIP: same as Data.List.Quantifiers but for lazy lists