Certifying Interpreters in Racket

Racket (Scheme) really is a stellar language for exploring CS concepts! I have no CS education, but was able to follow just fine thanks to the simplicity of the language. I especially liked the easy pretty printing to Latex.

Neat! See also: "Formal Methods: A First Introduction using Prolog to specify Programming Language Semantics" https://homepage.cs.uri.edu/faculty/hamel/pubs/fcs16.pdf