remove duplicated export

This commit is contained in:
Krasimir Angelov
2022-06-22 11:29:09 +02:00
parent 174cc57eb7
commit 7544e8dfbc

View File

@@ -1,5 +1,5 @@
{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveDataTypeable #-}
module PGF2.Expr(Var, Cat, Fun, Var, module PGF2.Expr(Var, Cat, Fun,
BindType(..), Literal(..), Expr(..), BindType(..), Literal(..), Expr(..),
Type(..), Hypo, Type(..), Hypo,
Patt(..), Equation(..), Patt(..), Equation(..),