Commit graph

2 commits

Author SHA1 Message Date
e0b2dfe566 use operator name in print_fold 2020-12-03 15:24:43 +01:00
6ac8be6984 rearrange some stuff 2020-12-03 15:11:29 +01:00