davidlazar/haskell-semantics archive