1 files changed, 0 insertions, 6 deletions
diff --git a/AST.hs b/AST.hs
index a456b8e..6398830 100644
--- a/AST.hs
+++ b/AST.hs
@@ -49,12 +49,6 @@ data PVal tenv env where  -- partial valuation
 
 type Val = PVal '[]
 
-data PTVal f tenv env where  -- partial tagged valuation
-    TVZ :: PTVal f tenv tenv
-    TVS :: PTVal f tenv env -> f t -> PTVal f tenv (t ': env)
-
-type TVal f = PTVal f '[]
-
 data NumDict t where
     NumDict :: Num t => NumDict t