5 Commits

Author	SHA1	Message	Date
madman-bob	0ee9632e45	[ refactor ] Abstract Prelude.elem to work with all Foldables (#2294)	2022-02-01 21:34:29 +00:00
Mathew Polzin	1576a578a0	[ cleanup ] Remove unused imports (#2123) ... * contrib library unused import removal * remove a few unused imports. * another round of unused import removal * another round of unused import deletion. * another round of unused import deletion.	2021-11-18 16:47:36 +00:00
Robert Wright	ac716c1dc7	Add SnocList factConcat transformation	2021-11-05 11:59:17 +00:00
Alissa Tung	2865a70a6e	[ base ] add List functions (#1550) ... Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>	2021-07-01 08:00:12 +01:00
Ohad Kammar	618c71477e	[ close #1384 ] built-in Snoc-lists [< 1, 2, 3 ] (#1383)	2021-05-20 12:56:25 +01:00