Search results

Support type-annotated struct definitions

signature

Status: Open.

#259 In racket/htdp;

· bugcounting opened on Mar 25, 2026

Types Posn and PosnOf

signature

Status: Open.

#258 In racket/htdp;

· bugcounting opened on Mar 25, 2026

Predicate types in BSL and BSL+

signature

Status: Open.

#257 In racket/htdp;

· bugcounting opened on Mar 25, 2026

Signature definitions without signature

signature

Status: Open.

#256 In racket/htdp;

· bugcounting opened on Mar 25, 2026

Alias mixed as one-of

signature

Status: Open.

#255 In racket/htdp;

· bugcounting opened on Mar 25, 2026

Problem With Algebraic Stepper Scrolling To Top?

stepper

Status: Open.

#250 In racket/htdp;

· spdegabrielle opened on Nov 24, 2025

Allow for removing the inset in 2htdp/universe

enhancement

teachpack[2]htdp teachpack[2]htdp teachpack

Status: Open.

#235 In racket/htdp;

· a11ce opened on Dec 11, 2024

port-writes-special? ⊂"running under Dr Racket"

test enginetopics related to the test enginetopics related to the test engine

Status: Open.

#234 In racket/htdp;

· greghendershott opened on Dec 7, 2024

Stepper does not step for check-satisfied

enhancement

stepper

test enginetopics related to the test enginetopics related to the test engine

Status: Open.

#232 In racket/htdp;

· shhyou opened on Nov 16, 2024

HTDP Signatures - missing Image type in BSL

signature

Status: Open.

#202 In racket/htdp;

· klauso opened on Sep 23, 2023

test coverage false negative in #lang htdp/bsl

Status: Open.

#200 In racket/htdp;

· bremner opened on Sep 18, 2023

Make *test-object* in test-engine a parameter

test enginetopics related to the test enginetopics related to the test engine

Status: Open.

#199 In racket/htdp;

· dbp opened on Aug 13, 2023