A comprehensive introduction to computational semantics, showing students how to compute meaning using the functional programming language Haskell.