start work on unification

[fp.git] / src / Lambda / Parser / Fancy.hs

diff --git a/src/Lambda/Parser/Fancy.hs b/src/Lambda/Parser/Fancy.hs
index 10231b8..79c1ca9 100644 (file)
--- a/src/Lambda/Parser/Fancy.hs
+++ b/src/Lambda/Parser/Fancy.hs
@@ -9,7 +9,7 @@
 -- Maintainer  :  tomik.musil@gmail.com
 -- Stability   :  experimental
 --
 -- 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
 
 
 -- TODO: proper documentation