diff --git a/src/Embedding.ml b/src/Embedding.ml
deleted file mode 100644
index ad393a67b..000000000
--- a/src/Embedding.ml
+++ /dev/null
@@ -1,39 +0,0 @@
-(* A deep embedding of simple expressions in OCaml. *)
-
-(* Opening GT yet again. *)
-open GT
-       
-(* Opening the substrate module for convenience. *)
-open Syntax
-
-(* Shortcuts for leaf constructors *)
-let ( ! ) x = Expr.Var x
-let ( !? ) n = Expr.Const n
-
-(* Implementation of operators *)
-let binop op x y = Expr.Binop (op, x, y)
-                         
-let ( +  ) = binop "+"
-let ( -  ) = binop "-"
-let ( *  ) = binop "*"
-let ( /  ) = binop "/"
-let ( %  ) = binop "%"
-let ( <  ) = binop "<"
-let ( <= ) = binop "<="
-let ( >  ) = binop ">"
-let ( >= ) = binop ">="
-let ( == ) = binop "=="
-let ( != ) = binop "!="
-let ( && ) = binop "&&"
-let ( || ) = binop "!!"
-
-let ( =:= ) x e = Stmt.Assign (x, e)
-let read  x = Stmt.Read x
-let write e = Stmt.Write e
-let (|>) x y = Stmt.Seq (x, y)
-                             
-(* Some predefined names for variables *)
-let x = !"x"
-let y = !"y"
-let z = !"z"
-let t = !"t"
diff --git a/src/Expr.ml b/src/Expr.ml
deleted file mode 100644
index ac005cfb7..000000000
--- a/src/Expr.ml
+++ /dev/null
@@ -1,79 +0,0 @@
-(* Simple expressions: syntax and semantics *)
-
-(* Opening a library for generic programming (https://github.com/dboulytchev/GT).
-   The library provides "@type ..." syntax extension and plugins like show, etc.
-*)
-open GT 
-             
-(* The type for the expression. Note, in regular OCaml there is no "@type..." 
-   notation, it came from GT. 
-*)
-@type expr =
-  (* integer constant *) | Const of int
-  (* variable         *) | Var   of string
-  (* binary operator  *) | Binop of string * expr * expr with show
-
-(* Available binary operators:
-    !!                   --- disjunction
-    &&                   --- conjunction
-    ==, !=, <=, <, >=, > --- comparisons
-    +, -                 --- addition, subtraction
-    *, /, %              --- multiplication, division, reminder
-*)
-
-(* State: a partial map from variables to integer values. *)
-type state = string -> int
-
-(* Empty state: maps every variable into nothing. *)
-let empty = fun x -> failwith (Printf.sprintf "Undefined variable %s" x)
-
-(* Update: non-destructively "modifies" the state s by binding the variable x 
-   to value v and returns the new state.
-*)
-let update x v s = fun y -> if x = y then v else s y
-
-(* An example of a non-trivial state: *)                                                   
-let s = update "x" 1 @@ update "y" 2 @@ update "z" 3 @@ update "t" 4 empty
-
-(* Some testing; comment this definition out when submitting the solution. 
-let _ =
-  List.iter
-    (fun x ->
-       try  Printf.printf "%s=%d\n" x @@ s x
-       with Failure s -> Printf.printf "%s\n" s
-    ) ["x"; "a"; "y"; "z"; "t"; "b"]
-*)
-    
-(* Expression evaluator
-
-     val eval : state -> expr -> int
- 
-   Takes a state and an expression, and returns the value of the expression in 
-   the given state.
- *)
-let rec eval st expr =
-  let to_func op =
-    let bti   = function true -> 1 | _ -> 0 in
-    let itb b = b <> 0 in
-    let (|>) f g   = fun x y -> f (g x y) in
-    match op with
-    | "+"  -> (+)
-    | "-"  -> (-)
-    | "*"  -> ( * )
-    | "/"  -> (/)
-    | "%"  -> (mod)
-    | "<"  -> bti |> (< )
-    | "<=" -> bti |> (<=)
-    | ">"  -> bti |> (> )
-    | ">=" -> bti |> (>=)
-    | "==" -> bti |> (= )
-    | "!=" -> bti |> (<>)
-    | "&&" -> fun x y -> bti (itb x && itb y)
-    | "!!" -> fun x y -> bti (itb x || itb y)
-    | _    -> failwith (Printf.sprintf "Unknown binary operator %s" op)
-  in
-  match expr with
-  | Const n -> n
-  | Var   x -> st x
-  | Binop (op, x, y) -> to_func op (eval st x) (eval st y)
-                    
diff --git a/src/Makefile b/src/Makefile
index 5de1b4eda..5f5d854be 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -2,7 +2,7 @@ TOPFILE = rc
 OCAMLC = ocamlc
 OCAMLOPT = ocamlopt
 OCAMLDEP = ocamldep
-SOURCES = Language.ml Embedding.ml SM.ml Driver.ml
+SOURCES = Language.ml SM.ml Driver.ml
 LIBS = GT.cma unix.cma re.cma re_emacs.cma re_str.cma
 CAMLP5 = -pp "camlp5o -I `ocamlfind -query GT.syntax` -I `ocamlfind -query ostap.syntax` pa_ostap.cmo pa_gt.cmo -L `ocamlfind -query GT.syntax`"
 PXFLAGS = $(CAMLP5)