X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/2d2af9eded0d0e4968cf21746f3772f61caecd73..7be2a6546f666dbbc5e3fe756766ee17e3c3d46a:/src/Lambda/Term.hs?ds=inline

diff --git a/src/Lambda/Term.hs b/src/Lambda/Term.hs
index e3682c1..a783a66 100644
--- a/src/Lambda/Term.hs
+++ b/src/Lambda/Term.hs
@@ -11,7 +11,15 @@
 -- Data types for λ terms.
 
 
-module Lambda.Term where
+module Lambda.Term
+  ( -- * Types
+    VarName
+  , Term(..)
+    -- * Pattern synonyms
+  , pattern RedEx
+  , pattern AppApp
+  , pattern EmLambda
+  ) where
 
 type VarName = String
 
@@ -20,5 +28,3 @@ data Term = Var VarName | Lambda VarName Term | App Term Term deriving (Eq)
 pattern RedEx x t s = App (Lambda x t) s
 pattern AppApp a b c = App a (App b c)
 pattern EmLambda x y t = Lambda x (Lambda y t)
-
-