Today I learned how to do multiline input in the REPL using an uncommon combination of arguments for the built-in open.
open
I know a proof that there's irrational numbers that one to the power of the other give a rational number and this footer is almost the right size for it.
