racket/redex 2 closed 4 open

• test--> and test-->> should accept an io-judgment-form? Jul 1
• check-redundancy and the O(n^n) bubblesort Jul 10
• Inconsistent term vs. expression for (side-condition) Jul 11
• term-match/stream Jul 12
• in-hole within #:refers-to causes contract violation Jul 17
• Side conditions have inconsistent ellipses depth expectations Jul 24