Search results

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

<code>stepper</code> doesn't display whole term... unless I *narrow* its box?

Status: Open.

#243 In racket/redex;

· wilbowma opened on Jul 21, 2021

test--&gt;&gt;∃ #:steps n passes test if n &gt; 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

<code>generate-term</code> from reduction relation bypasses <code>#:domain</code>.

Status: Open.

#214 In racket/redex;

· florence opened on Dec 19, 2019

Feature request: “shallow” version of <code>compatible-closure-context</code>

Status: Open.

#209 In racket/redex;

· lexi-lambda opened on Nov 10, 2019