Commit d352cbd8 authored by Frontull Samuel's avatar Frontull Samuel
Browse files

backslash for lambda

parent d9dd6462
......@@ -228,6 +228,10 @@ let rec _redexpos trsterm pos =
let redexpos trsterm = _redexpos trsterm ""
let rec search_pairs v f = function
| (x, n) :: xs -> if f v = f x then n else search_pairs v f xs
| [] -> v
let rec subst m pairs =
(* Printf.printf "subst\n"; *)
match m with
......
......@@ -11,7 +11,7 @@ rule token = parse
['\t'] { token lexbuf } (* skip blanks *)
| ['\n' ] { EOF }
| ' ' { BLANK }
| '/' { LAM }
| '\\' { LAM }
| '(' { LPAREN }
| ')' { RPAREN }
| '.' { DOT }
......
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