davidlazar / haskell-semantics

Formal semantics of Haskell in K

This was my first attempt to define a programming language using the K Semantic Framework. The OCaml semantics and LLVM semantics projects were more successful.