refact

chester-lang · Dec 17, 2024 · 99fdc2a · 99fdc2a
1 parent b903cee
commit 99fdc2a
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 82 deletions.
diff --git a/eval/src/main/scala/chester/eval/Eval.scala b/eval/src/main/scala/chester/eval/Eval.scala
@@ -2,6 +2,7 @@ package chester.eval
 
 import chester.runtime.Value
 import chester.syntax.core.*
+import chester.syntax.core.interface.{BooleanTermC, TermT}
 
 case class EvalContext()