leancheck-0.3.0: CREDITS.md
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".
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".