X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/2d2af9eded0d0e4968cf21746f3772f61caecd73..7b1d09697fa612b0ccdf30062dce7c6f0d5f4eeb:/src/Lambda/Parser/Fancy.hs?ds=inline diff --git a/src/Lambda/Parser/Fancy.hs b/src/Lambda/Parser/Fancy.hs index 48593dd..79c1ca9 100644 --- a/src/Lambda/Parser/Fancy.hs +++ b/src/Lambda/Parser/Fancy.hs @@ -1,7 +1,4 @@ -{-# OPTIONS_GHC - -fno-warn-unused-do-bind - -fno-warn-orphans -#-} +{-# OPTIONS_GHC -fno-warn-unused-do-bind -fno-warn-orphans #-} {-# LANGUAGE PatternSynonyms #-} -- | @@ -12,11 +9,14 @@ -- Maintainer : tomik.musil@gmail.com -- Stability : experimental -- --- Parser for λ-terms. '.' in λ implies brackets to the end of the context. +-- Parser for λ-terms. \'.\' in λ implies brackets to the end of the context. -- 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