-- 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