Racket Discourse
keyboard
Topic
Replies
Views
Activity
DrRacket REPL: Make ctrl-p an alias for ctrl-up
General
drracket
,
repl
,
keyboard
8
308
April 25, 2023