X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/e26e565842cd4c347f93b3bbf1a4363f05d1cc2f..df2f2deed8185e3f7267124074e1bf3c1e0f3112:/src/Lambda/Term.hs

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)
-
-