~> elf@host HISTORY (dedup on) Ctrl-D dedup 21 echo $pwd 22 * (+ 3 4) (- 100 94) 31 make 32 math:min 3 1 30 33 randint 1 7