Historique des commits

Auteur SHA1 Message Date
  Getty Ritter 5927d9cf47 Fix warnings in QC module il y a 6 ans
  Getty Ritter 4b4652db9c Rework the inefficient pretty-printer to use Intermediate too il y a 6 ans
  Getty Ritter 2b3a68de8a Added width-insensitive efficient pretty-printer il y a 6 ans
  Getty Ritter 8a28adfa0d Added some more quickcheck tests il y a 8 ans
  Getty Ritter d691c39862 Added basic QuickCheck-based test suite, which should be expanded more il y a 8 ans