Skip to content
Snippets Groups Projects

Misc improvements to `head` and `tail` functions for lists

Merged Misc improvements to `head` and `tail` functions for lists
robbert/head_tail into master
Merged Robbert Krebbers requested to merge robbert/head_tail into master
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
4