CodingCellist c5d96a10e7 [ base ] Split a list according to a decidable property (#2302)		2022-02-11 11:21:20 +00:00
..
Elem.idr	Injective interface and its implementations (#2114)	2021-11-26 10:55:17 +00:00
Quantifiers.idr	[ base ] Split a list according to a decidable property (#2302)	2022-02-11 11:21:20 +00:00
Views.idr	[ cleanup ] Remove unused imports (#2123)	2021-11-18 16:47:36 +00:00