move list.func namespace to its own file
994fc199
move erase_dup to its own file
60e80067
move rotate to its own file
dc5b252f
move tfae to its own file
d2844d3f
move bag_inter and intervals
0cf33963
move range out
f1452d17
move nodup
0cdb12ad
move chain and pairwise
2b7cff50
move zip
63abc29b
move forall2
91fb6561
move of_fn
7f385b8e
Merge remote-tracking branch 'origin/master' into dismember
fc0bb889
add copyright headers
83a8c37f
remove unnecessary sections, move defns to func.set and tfae
c479baf3
fixes
db978a1a
oops, forgot to add file
009658ed
gebner
approved these changes
on 2020-04-08
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into dismember
dd520e24
Login to write a write a comment.
Login via GitHub