"That scripting language called Prolog"
Temporal logic and functional reactive programming
Introduction to join calculus
Elm talk bayhac2015
Linear Algebra via Exterior Products