the-little-prover/readme.org at main · almahallawy/the-little-prover · GitHub

#-*- mode: org -*-

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

Tips for Guile:

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)