gitignore

[fp.git] / src / Lambda / Term.hs

diff --git a/src/Lambda/Term.hs b/src/Lambda/Term.hs
index e3682c1..a783a66 100644 (file)
--- a/src/Lambda/Term.hs
+++ b/src/Lambda/Term.hs
@@ -11,7 +11,15 @@
 -- Data types for λ terms.
 
 
 -- 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
 
 
 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)
 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)

-
-