Commit graph

3 commits

Author SHA1 Message Date
812fa7498c day 6 2020-12-06 10:13:36 +01:00
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