diff options
| author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-28 23:14:50 +0200 |
|---|---|---|
| committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-28 23:14:50 +0200 |
| commit | b2e4264e7849f322cbb2bb592b15d2ea7aec9149 (patch) | |
| tree | aea74b3cf9311932e243f7088b0e3377616aa329 /.gitignore | |
| parent | 69081d160dbf6f7d06b9cafd876e0fea423b8066 (diff) | |
| download | events-b2e4264e7849f322cbb2bb592b15d2ea7aec9149.tar events-b2e4264e7849f322cbb2bb592b15d2ea7aec9149.tar.gz events-b2e4264e7849f322cbb2bb592b15d2ea7aec9149.tar.bz2 events-b2e4264e7849f322cbb2bb592b15d2ea7aec9149.tar.xz events-b2e4264e7849f322cbb2bb592b15d2ea7aec9149.zip | |
Switch from monoid to foldable container
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions