Commit History

作者 SHA1 備註 提交日期
  Getty Ritter 5927d9cf47 Fix warnings in QC module 6 年之前
  Getty Ritter 4b4652db9c Rework the inefficient pretty-printer to use Intermediate too 6 年之前
  Getty Ritter 2b3a68de8a Added width-insensitive efficient pretty-printer 6 年之前
  Getty Ritter 8a28adfa0d Added some more quickcheck tests 8 年之前
  Getty Ritter d691c39862 Added basic QuickCheck-based test suite, which should be expanded more 8 年之前