GitHub repository: lukemaurer/sequent-core
Primary language: Haskell
Description: Alternative Core language for GHC plugins