sequent-core (hackage): Alternative Core language for GHC plugins
Keywords: bsd3|development|library