From 0d607e071929d82edcf292c8ded06235e0775ea6 Mon Sep 17 00:00:00 2001 From: Conal Elliott Date: Thu, 3 Jan 2013 11:28:43 -0800 Subject: [PATCH] -Wall -fno-warn-orphans --- .gitignore | 15 +++++++++++++++ README.md | 2 ++ 2 files changed, 17 insertions(+) create mode 100644 .gitignore create mode 100644 README.md diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c4fd251 --- /dev/null +++ b/.gitignore @@ -0,0 +1,15 @@ +*~ +Junk* +Old* +dist +Stuff +TAGS +tags +tarballs + +# Mac OS generates +.DS_Store + +# Where do these files come from? They're not readable. +# For instance, .#Help.page +.#* diff --git a/README.md b/README.md new file mode 100644 index 0000000..62692bf --- /dev/null +++ b/README.md @@ -0,0 +1,2 @@ +**checkers** is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and [class morphisms](http://conal.net/papers/type-class-morphisms)). +Checkers also has lots of support for randomly generating data values (thanks to Thomas Davie).