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