X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/e26e565842cd4c347f93b3bbf1a4363f05d1cc2f..2d2af9eded0d0e4968cf21746f3772f61caecd73:/src/Lambda/Parser/Fancy.hs?ds=inline diff --git a/src/Lambda/Parser/Fancy.hs b/src/Lambda/Parser/Fancy.hs index 6e87da1..48593dd 100644 --- a/src/Lambda/Parser/Fancy.hs +++ b/src/Lambda/Parser/Fancy.hs @@ -24,6 +24,10 @@ import Control.Applicative import Lambda.Term +-- $setup +-- >>> import Test.QuickCheck +-- >>> import Test.Term + -- | -- >>> print $ Lambda "x" (Var "x") -- (λx.x)