Commit History

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