Revision 2de64672
| ID | 2de64672faed917bae951888566f479dad6b63ff |
Add a partition function to split a list in two
This is similar to the Haskell function, except that the signature is
reverse to match the 'any' and 'all' Python functions.
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Guido Trotter <ultrotter@google.com>
Files
- added
- modified
- copied
- renamed
- deleted