--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/progs/app04.scala	Sat Oct 18 02:08:17 2014 +0100
@@ -0,0 +1,8 @@
+abstract class Val
+case object Empty extends Val
+case class Char(c: Char) extends Val
+case class Seq(v1: Val, v2: Val) extends Val
+case class Left(v: Val) extends Val
+case class Right(v: Val) extends Val
+case class Stars(vs: List[Val]) extends Val
+case class Rec(x: String, v: Val) extends Val
\ No newline at end of file