Commit 85af3c2a authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Supposedly better printing of lambda-abstractions.

parent cb809a52
...@@ -51,10 +51,10 @@ module Print = struct ...@@ -51,10 +51,10 @@ module Print = struct
and term2 t = and term2 t =
match t with match t with
| TLambda (x, t) -> | TLambda (x, t) ->
backslash ^^ block
string x ^^ (backslash ^^ string x ^^ dot)
dot ^/^ (term2 t)
term2 t empty
| _ -> | _ ->
term1 t term1 t
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment