Source

lambda-translator / lexer.mll

Diff from to

File lexer.mll

 {
-(*  open Term        (* The type token is defined in parser.mli *)*)
   type token = Lambda | Dot | Ident of string | Open | Close
 | Int of int | EOL
   exception Eof