Credits
=======

Rudy Matela:
  original implementation of LeanCheck previously known as "llcheck".

Colin Runciman:
  pointing out "why not a list of lists?";
  improvements in library interface and code;
  the name "LeanCheck".