diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml
index 31b7489..d596cee 100644
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@@ -67,21 +67,18 @@ let rec synth_expression
   :  HopixTypes.typing_environment -> HopixAST.expression Position.located
   -> HopixTypes.aty
   =
-  fun env Position.{ value = e; position = pos } ->
-  failwith "Students! This is your job! (synth_expression)"
-
+  fun env Position.{ value = e; position = pos } -> 
+    
 and check_expression
   :  HopixTypes.typing_environment -> HopixAST.expression Position.located
   -> HopixTypes.aty -> unit
   =
   fun env (Position.{ value = e; position = pos } as exp) expected ->
-  failwith "Students! This is your job! (check_expression)"
 
 and check_value_definition
   :  HopixTypes.typing_environment -> HopixAST.value_definition
   -> HopixTypes.typing_environment
   =
-  fun env def -> failwith "Students! This is your job! (check_value_definition)"
 ;;
 
 let check_definition env = function