Removed erroneous name in std lib doc
commitafcf63fe8f034e1cbf5bcab398a39bbead578de4
authorDavid Kerschner <dkerschner@hcoop.net>
dateWed 25 Sep 2019, 13:41 (7 years ago)
parentcc4277c
reference/library/2b.md−2
@@ -1254,8 +1254,6 @@ A list.
12541254---
12551255### `++zing`
12561256
1257−Cons
1258−
12591257Turns a `++list` of lists into a single list by promoting the elements of
12601258each sublist into the higher.
12611259