1 Commits

Author SHA1 Message Date
Thomas Arts
75f3eeffa7 Add quickcheck properties 2019-04-09 10:32:08 +02:00