Autonomous Systems Course @ Yale (in Haskell). Taught by Prof. Paul Hudak