Daniel Gröber c0732ad9cb Add a criterion benchmark		2016-07-18 02:06:00 +02:00
..
simple-cabal	Add a criterion benchmark	2016-07-18 02:06:00 +02:00