documentation
[fp.git] / src / Lambda / Parser / Fancy.hs
index 6e87da1..b0f0c2d 100644 (file)
 
 -- TODO: proper documentation
 
-module Lambda.Parser.Fancy where
+module Lambda.Parser.Fancy 
+  ( tRead
+  , parseTerm
+  )  where
 
 import Data.Text as T hiding (map)
 import Data.Attoparsec.Text
@@ -24,6 +27,10 @@ import Control.Applicative
 
 import Lambda.Term
 
+-- $setup
+-- >>> import Test.QuickCheck
+-- >>> import Test.Term
+
 -- | 
 -- >>> print $ Lambda "x" (Var "x")
 -- (λx.x)