-- 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
import Lambda.Term
+-- $setup
+-- >>> import Test.QuickCheck
+-- >>> import Test.Term
+
-- |
-- >>> print $ Lambda "x" (Var "x")
-- (λx.x)