2019-11-11 | Mart Lubbers | make up to date with everything master | blob | commitdiff | raw |
2018-09-20 | Mart Lubbers | Clean up imports | blob | commitdiff | raw | diff to current |
2018-04-04 | Mart Lubbers | Update to latest clean-selectloop master | blob | commitdiff | raw | diff to current |
2018-04-03 | Mart Lubbers | update bot to work with clean-selectloop | blob | commitdiff | raw | diff to current |
2017-07-25 | dopefishh | Merge pull request #13 from clean-cloogle/pr-better... | blob | commitdiff | raw | diff to current |
2017-07-24 | Mart Lubbers | compiles, but doesn't work, probably strictness? | blob | commitdiff | raw | diff to current |
2017-07-18 | Mart Lubbers | attempt better output, uniqueness error | blob | commitdiff | raw | diff to current |
2017-03-12 | Mart Lubbers | extended parsing and added bot interface, note that... | blob | commitdiff | raw | diff to current |