Issues

• judgment-holds output positions with metafunction calls

  racket/redex#276 · Filter by author nicholasdiggi opened on May 21, 2026
  1

• Redex long tutorial beta-eta equivalence is false

  racket/redex#270 · Filter by author samth opened on Feb 18, 2025
  13

• Reduce space between rendered rules of a judgement form

  racket/redex#264 · Filter by author o6po5fcs opened on Jun 29, 2023
  3

• Redex PDF output contains a wrong font, while Racket REPL renders the correct font

  racket/redex#263 · Filter by author o6po5fcs opened on Jun 28, 2023
  2

• define-metafunction does not check type signature on LHS

  racket/redex#255 · Filter by author digama0 opened on Apr 26, 2022
  3

• Redex's reduction graph windows sneakily hide part of term reductions

  racket/redex#253 · Filter by author jasonhemann opened on Apr 6, 2022
  1

• Generating random expressions sometimes results in an infinite loop

  racket/redex#248 · Filter by author joshuaharry opened on Sep 17, 2021

• stepper doesn't display whole term... unless I *narrow* its box?

  racket/redex#243 · Filter by author wilbowma opened on Jul 21, 2021

• test-->>∃ #:steps n passes test if n > than the number of actual reduction steps for a term.

  racket/redex#241 · Filter by author xyzwwwww opened on May 30, 2021
  4

• Contract violation error in complicated binding forms

  racket/redex#233 · Filter by author david-christiansen opened on Mar 3, 2021
  2

• define-term in pattern position

  racket/redex#215 · Filter by author wilbowma opened on Jan 20, 2020
  1

• generate-term from reduction relation bypasses #:domain.

  racket/redex#214 · Filter by author florence opened on Dec 19, 2019

• Feature request: “shallow” version of compatible-closure-context

  racket/redex#209 · Filter by author lexi-lambda opened on Nov 10, 2019
  5

• define-extended-language+ overriding a variable-not-otherwise-mentioned with a variable-not-in fails.

  racket/redex#208 · Filter by author florence opened on Oct 21, 2019

• redex-check doesn't bind patterns normally

  racket/redex#207 · Filter by author florence opened on Oct 19, 2019

• test-judgment-holds incorrectly blames sub-derivations from other judgments

  racket/redex#204 · Filter by author wilbowma opened on Oct 5, 2019
  1

  

• documentation: what are generation failures

  racket/redex#201 · Filter by author wilbowma opened on Oct 3, 2019
  4

  

• cross plus small grammar causes infinite loop in term generation

  racket/redex#200 · Filter by author florence opened on Oct 1, 2019

• Feature request: explicit derivations for moded judgments

  enhancement
  racket/redex#198 · Filter by author wilbowma opened on Oct 1, 2019
  9

  

• redex-check #:satsifying not self-consistent; related to binding?

  racket/redex#196 · Filter by author wilbowma opened on Sep 27, 2019
  6

  

• variable-not-in uses wrong prefix when prefix ends in a number

  racket/redex#194 · Filter by author florence opened on Sep 26, 2019
  1

• where/error gives uninformative error message

  racket/redex#193 · Filter by author florence opened on Sep 20, 2019

• define-extended-judgment-form should replace rules with same name

  racket/redex#192 · Filter by author dvanhorn opened on Aug 25, 2019
  1

• [feature request] Clarify when redex-check generation fails because #:prepare returns a bad term

  racket/redex#183 · Filter by author florence opened on May 9, 2019

• generate-term + missnamed cross gives an internal error message

  racket/redex#181 · Filter by author florence opened on May 8, 2019