revision 0.2.4 r1#31

emilypi merged 4 commits into

emilypi:masteremilypi/nonempty-vector:masterfrom

andreasabel:revision-0.2.4-r1andreasabel/nonempty-vector:revision-0.2.4-r1Copy head branch name to clipboard