X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/7be2a6546f666dbbc5e3fe756766ee17e3c3d46a..7b1d09697fa612b0ccdf30062dce7c6f0d5f4eeb:/src/Lambda/Parser/Fancy.hs diff --git a/src/Lambda/Parser/Fancy.hs b/src/Lambda/Parser/Fancy.hs index b0f0c2d..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,7 +9,7 @@ -- 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