GitHub repository: kframework/haskell-core-semantics
Primary language: Haskell
Description: Haskell's Core in K.