Working through The Little Prover Book using GNU Guile Scheme Development is done over Emacs/Geiser (https://www.gnu.org/software/guile/manual/guile.html#Using-Guile-in-Emacs)
Better be familiar with The Little Schemer
Reading Guile help from emacs :C-h i , then select Guile
-
,binding [,b] - List current bindings.
-
C-x C-e execute last expr
-
History from REPL: https://www.gnu.org/software/guile/manual/guile.html#Readline-Support (use-modules (ice-9 readline)) (activate-readline)