Search results

judgment-holds output positions with metafunction calls

Status: Open.

#276 In racket/redex;

· nicholasdiggi opened on May 21, 2026

Redex long tutorial beta-eta equivalence is false

Status: Open.

#270 In racket/redex;

· samth opened on Feb 18, 2025

Reduce space between rendered rules of a judgement form

Status: Open.

#264 In racket/redex;

· o6po5fcs opened on Jun 29, 2023

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

Status: Open.

#263 In racket/redex;

· o6po5fcs opened on Jun 28, 2023

define-metafunction does not check type signature on LHS

Status: Open.

#255 In racket/redex;

· digama0 opened on Apr 26, 2022

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

Status: Open.

#253 In racket/redex;

· jasonhemann opened on Apr 6, 2022

Generating random expressions sometimes results in an infinite loop

Status: Open.

#248 In racket/redex;

· joshuaharry opened on Sep 17, 2021

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

Status: Open.

#243 In racket/redex;

· wilbowma opened on Jul 21, 2021

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

Status: Open.

#241 In racket/redex;

· xyzwwwww opened on May 30, 2021

Contract violation error in complicated binding forms

Status: Open.

#233 In racket/redex;

· david-christiansen opened on Mar 3, 2021

define-term in pattern position

Status: Open.

#215 In racket/redex;

· wilbowma opened on Jan 20, 2020

generate-term from reduction relation bypasses #:domain.

Status: Open.

#214 In racket/redex;

· florence opened on Dec 19, 2019