コミット履歴

作者 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 年 前