X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/dbb3af7ea8341e87b254dc94a613aec837b676b8..f9d54d61f2feba3f37c9e7c5f4ab87bf7b3e6166:/src/Lambda/Parser/Fancy.hs?ds=inline diff --git a/src/Lambda/Parser/Fancy.hs b/src/Lambda/Parser/Fancy.hs index 10231b8..9a1deb3 100644 --- a/src/Lambda/Parser/Fancy.hs +++ b/src/Lambda/Parser/Fancy.hs @@ -9,13 +9,17 @@ -- 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 - ( tRead + ( + -- * Main parser + tRead , parseTerm + -- * Auxiliary parsers + , parseVar ) where import Data.Text as T hiding (map)